Skip to content

Actions: mjschwenne/grackle

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
93 workflow runs
93 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

update rocq build to use opam perennial CI #182: Commit 6b67777 pushed by mjschwenne
1h 39m 3s main
main
1h 39m 3s
update to complete version of perennial CI #181: Commit 438f3e1 pushed by mjschwenne
1h 35m 32s main
main
1h 35m 32s
parital update to perennial deps, now using opam version CI #180: Commit a544287 pushed by mjschwenne
52m 15s main
main
52m 15s
Add new fields to events CI #179: Commit 7877fe5 pushed by mjschwenne
2h 4m 48s main
main
2h 4m 48s
finish updating README CI #178: Commit 8870d3d pushed by mjschwenne
1m 24s main
main
1m 24s
Fix typo in nix rocq build CI #177: Commit 9547095 pushed by mjschwenne
2m 46s main
main
2m 46s
Checkpoint README update CI #176: Commit 832d836 pushed by mjschwenne
1m 24s main
main
1m 24s
Update CLI names to use rocq rather than coq CI #175: Commit 2d423b1 pushed by mjschwenne
2m 32s main
main
2m 32s
fix simple message detection for message slices CI #174: Commit d067455 pushed by mjschwenne
1m 18s main
main
1m 18s
more complex simple message detection should handle simple messages w… CI #173: Commit 5a59647 pushed by mjschwenne
1m 18s main
main
1m 18s
Correct fixed name in enum proof template CI #172: Commit d386a47 pushed by mjschwenne
1m 16s main
main
1m 16s
fix bug with only string messages CI #171: Commit fe8f3fa pushed by mjschwenne
1m 59s main
main
1m 59s
fix bug with only enum structs CI #170: Commit 9dcbf3e pushed by mjschwenne
2m 23s main
main
2m 23s
update goose output CI #169: Commit 70a3fa5 pushed by mjschwenne
1m 46s main
main
1m 46s
update perennial CI #168: Commit 7b9dd19 pushed by mjschwenne
2h 4m 45s main
main
2h 4m 45s
update goose CI #167: Commit 757af76 pushed by mjschwenne
1m 46s main
main
1m 46s
Update nix grackle vendor hash CI #166: Commit fa6de08 pushed by mjschwenne
2h 11m 7s main
main
2h 11m 7s
adjust to slice sint length and complete pkg init CI #165: Commit e771848 pushed by mjschwenne
2h 8m 8s main
main
2h 8m 8s
update perennial CI #164: Commit 4db47b2 pushed by mjschwenne
2h 4m 27s main
main
2h 4m 27s
update perennial CI #163: Commit 1722394 pushed by mjschwenne
2h 3m 14s main
main
2h 3m 14s
pin nixpkgs at same commit as perennial CI #162: Commit db346ce pushed by mjschwenne
1m 49s main
main
1m 49s
remove apparently unneeded env var setting CI #161: Commit 94660bd pushed by mjschwenne
5m 32s main
main
5m 32s
fix rocq CI by using nix CI #160: Commit a52d1e8 pushed by mjschwenne
1h 58m 56s main
main
1h 58m 56s
move to nix managed perennial CI #159: Commit aef1671 pushed by mjschwenne
1m 23s main
main
1m 23s
fix grackle nix build CI #158: Commit 38b9fcc pushed by mjschwenne
4m 5s main
main
4m 5s