Workflow runs · granule-project/granule · GitHub

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows

113 workflow runs

113 workflow runs

Fix 2 failing examples (#263) (#264) Stack CI #49: Commit 602cc2f pushed by dorchard

5m 7s main

main

5m 7s

Fix 2 failing examples (#263) Stack CI #48: Pull request #264 opened by BinderDavid

5m 3s BinderDavid:fix-263

BinderDavid:fix-263

5m 3s

Update dependency on lsp-types and lsp libraries Stack CI #47: Pull request #261 opened by BinderDavid

16m 1s BinderDavid:update-lsp-dependency

BinderDavid:update-lsp-dependency

16m 1s

WIP: Adapt to GHC 9.6 Stack CI #46: Pull request #260 opened by BinderDavid

27m 38s BinderDavid:ghc-9.6

BinderDavid:ghc-9.6

27m 38s

dependent type example Stack CI #45: Commit 6e59931 pushed by dorchard

17m 11s main

main

17m 11s

improve constraint simplification Stack CI #44: Commit aa5ed5e pushed by dorchard

15m 59s main

main

15m 59s

Runtime array bounds check Stack CI #43: Pull request #255 opened by jacobpake

16m 3s fix-runtime-array-bounds-check

fix-runtime-array-bounds-check

16m 3s

Locality WIP and notes Stack CI #42: Pull request #253 synchronize by jacobpake

16m 48s locality

locality

16m 48s

Locality WIP and notes Stack CI #41: Pull request #253 synchronize by dorchard

4m 26s locality

locality

4m 26s

Locality WIP and notes Stack CI #40: Pull request #253 opened by jacobpake

16m 27s locality

locality

16m 27s

changelog Stack CI #39: Commit bcf2365 pushed by dorchard

4m 19s main

main

4m 19s

Merge pull request #229 from granule-project/fractional Stack CI #38: Commit 2a2e347 pushed by dorchard

16m 22s main

main

16m 22s

Fractional permissions for mutable and immutable borrowing Stack CI #37: Pull request #229 synchronize by dorchard

16m 38s fractional

fractional

16m 38s