Skip to content

Actions: granule-project/granule

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
33 workflow runs
33 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix typo
Stack CI #36: Commit dfc2314 pushed by dorchard
October 17, 2024 12:56 16m 30s main
October 17, 2024 12:56 16m 30s
fix example/test
Stack CI #35: Commit 094c905 pushed by dorchard
October 17, 2024 12:48 16m 21s main
October 17, 2024 12:48 16m 21s
Fix example/test
Stack CI #34: Pull request #249 opened by dorchard
October 17, 2024 12:47 16m 14s fix-example
October 17, 2024 12:47 16m 14s
Fractional permissions for mutable and immutable borrowing
Stack CI #33: Pull request #229 synchronize by dorchard
October 17, 2024 12:36 16m 6s fractional
October 17, 2024 12:36 16m 6s
Fix typo in examples/further-examples.gr.md
Stack CI #32: Pull request #248 opened by eldesh
October 12, 2024 09:38 16m 34s eldesh:fix/typo
October 12, 2024 09:38 16m 34s
Add missing output file
Stack CI #31: Commit 9896176 pushed by dorchard
May 8, 2024 12:06 4m 57s main
May 8, 2024 12:06 4m 57s
Fix left pad example
Stack CI #30: Pull request #244 opened by buggymcbugfix
May 8, 2024 09:03 4m 39s fix-LeftPad
May 8, 2024 09:03 4m 39s
filter out definitions with holes when trying examples
Stack CI #29: Commit d4e11b1 pushed by buggymcbugfix
May 8, 2024 08:18 5m 3s main
May 8, 2024 08:18 5m 3s
Merge dev-minor
Stack CI #28: Pull request #243 synchronize by buggymcbugfix
May 3, 2024 08:10 4m 38s dev-minor
May 3, 2024 08:10 4m 38s
Merge dev-minor
Stack CI #26: Pull request #243 opened by buggymcbugfix
May 3, 2024 08:03 4m 30s dev-minor
May 3, 2024 08:03 4m 30s
CI: use preinstalled Stack; fix caching
Stack CI #25: Commit b0e17d8 pushed by buggymcbugfix
May 2, 2024 08:10 16m 19s main
May 2, 2024 08:10 16m 19s
filter out definitions with holes when trying examples
Stack CI #24: Commit 2633083 pushed by buggymcbugfix
May 1, 2024 04:33 17m 22s dev-minor
May 1, 2024 04:33 17m 22s
Bump to Stackage LTS 20.26
Stack CI #23: Pull request #242 synchronize by andreasabel
April 3, 2024 15:06 16m 11s andreasabel:lts-20.26
April 3, 2024 15:06 16m 11s
Merge pull request #239 from granule-project/dev-minor
Stack CI #19: Commit 83bdac0 pushed by dorchard
March 8, 2024 12:30 17m 52s main
March 8, 2024 12:30 17m 52s
v0.9.5.0
Stack CI #18: Pull request #239 synchronize by dorchard
March 8, 2024 12:27 17m 49s dev-minor
March 8, 2024 12:27 17m 49s
v0.9.5.0
Stack CI #17: Pull request #239 synchronize by dorchard
March 8, 2024 12:22 17m 14s dev-minor
March 8, 2024 12:22 17m 14s
v0.9.5.0
Stack CI #16: Pull request #239 synchronize by dorchard
March 8, 2024 12:05 16m 52s dev-minor
March 8, 2024 12:05 16m 52s
v0.9.5.0
Stack CI #15: Pull request #239 synchronize by dorchard
March 8, 2024 11:47 16m 38s dev-minor
March 8, 2024 11:47 16m 38s
v0.9.5.0
Stack CI #14: Pull request #239 synchronize by dorchard
March 7, 2024 23:39 16m 58s dev-minor
March 7, 2024 23:39 16m 58s
v0.9.5.0
Stack CI #13: Pull request #239 synchronize by dorchard
March 7, 2024 23:10 17m 11s dev-minor
March 7, 2024 23:10 17m 11s
v0.9.5.0
Stack CI #12: Pull request #239 synchronize by dorchard
March 7, 2024 21:56 17m 28s dev-minor
March 7, 2024 21:56 17m 28s
v0.9.5.0
Stack CI #11: Pull request #239 synchronize by dorchard
March 7, 2024 17:08 17m 13s dev-minor
March 7, 2024 17:08 17m 13s
v0.9.5.0
Stack CI #10: Pull request #239 synchronize by dorchard
March 7, 2024 15:02 17m 1s dev-minor
March 7, 2024 15:02 17m 1s
v0.9.5.0
Stack CI #9: Pull request #239 synchronize by dorchard
March 7, 2024 14:56 17m 22s dev-minor
March 7, 2024 14:56 17m 22s