Skip to content

Actions: mit-pdos/gojournal-proof

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

go_modules in /. - Update #1221442023 Dependabot Updates #10: by dependabot bot
26s main
main
26s
go_modules in /. - Update #1213692848 Dependabot Updates #9: by dependabot bot
31s main
main
31s
go_modules in /. - Update #1207064528 Dependabot Updates #8: by dependabot bot
32s main
main
32s
go_modules in /. - Update #1193146734 Dependabot Updates #7: by dependabot bot
35s main
main
35s
go_modules in /. - Update #1188753539 Dependabot Updates #6: by dependabot bot
38s main
main
38s
go_modules in /. - Update #1183250493 Dependabot Updates #5: by dependabot bot
38s main
main
38s
Extend commit hashes CI #23: Commit 4f9192d pushed by tchajed
38m 58s main
main
38m 58s
go_modules in /. - Update #1177622764 Dependabot Updates #4: by dependabot bot
32s main
main
32s
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
go_modules in /. - Update #1175959203 Dependabot Updates #3: by dependabot bot
39s main
main
39s
Don't try to upgrade goose with dependabot CI #14: Commit 96c2af6 pushed by tchajed
19m 46s main
main
19m 46s
go_modules in /. - Update #1175958961 Dependabot Updates #2: by dependabot bot
43s main
main
43s
go_modules in /. - Update #1175958959 Dependabot Updates #1: by dependabot bot
40s main
main
40s
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