Skip to content

Actions: mit-pdos/gojournal-proof

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
23 workflow runs
23 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Extend commit hashes CI #23: Commit 4f9192d pushed by tchajed
38m 58s main
main
38m 58s
bump perennial (#2) CI #22: Commit 9a4df85 pushed by tchajed
15m 36s main
main
15m 36s
bump perennial CI #21: Pull request #2 opened by tchajed
16m 19s tchajed/perennial-update
tchajed/perennial-update
16m 19s
Switch to dune (#1) CI #20: Commit 59d26f5 pushed by tchajed
20m 15s main
main
20m 15s
Allow Go 1.24 CI #19: Commit 0e22cbd pushed by tchajed
19m 52s main
main
19m 52s
Switch to dune CI #18: Pull request #1 opened by tchajed
46s dune
dune
46s
Also translate go-nfsd CI #17: Commit 3481adc pushed by tchajed
45m 8s main
main
45m 8s
Remove marshal_block CI #16: Commit 37f751d pushed by tchajed
19m 54s main
main
19m 54s
Bump perennial version CI #15: Commit 7d954e3 pushed by tchajed
32m 46s main
main
32m 46s
Don't try to upgrade goose with dependabot CI #14: Commit 96c2af6 pushed by tchajed
19m 46s main
main
19m 46s
Run CI only on main/PRs CI #13: Commit 2713a38 pushed by tchajed
20m 8s main
main
20m 8s
Bump perennial-old CI #12: Commit 4ad7fef pushed by tchajed
32m 17s main
main
32m 17s
Get rid of the build matrix CI #11: Commit cec0e4f pushed by tchajed
19m 55s main
main
19m 55s
Label check goose step CI #10: Commit be812f6 pushed by tchajed
20m 12s main
main
20m 12s
Use go.mod for goose version CI #9: Commit 2ed634d pushed by tchajed
19m 59s main
main
19m 59s
Add a check-goose CI job CI #8: Commit 6564f6c pushed by tchajed
20m 26s main
main
20m 26s
Use -j4 in CI CI #7: Commit 5f69b17 pushed by tchajed
44m 42s main
main
44m 42s
Remove opam pin CI #6: Commit b2858e0 pushed by tchajed
55m 10s main
main
55m 10s
Add indirect deps CI #5: Commit 388acba pushed by tchajed
1h 28m 23s main
main
1h 28m 23s
Fix pin-depends line CI #4: Commit 1cad98d pushed by tchajed
51s main
main
51s
Initialize CI cache CI #3: Commit 8b3808a pushed by tchajed
17m 17s main
main
17m 17s
Use fixed opam file CI #2: Commit e43a19c pushed by tchajed
12m 19s main
main
12m 19s
Set up CI CI #1: Commit ad1fb49 pushed by tchajed
17m 32s main
main
17m 32s