Skip to content

Actions: mit-pdos/tulip-proof

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
14 workflow runs
14 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Add build instructions to README CI #14: Commit 1ee81ee pushed by tchajed
48s main
main
48s
Switch to dune build (#1) CI #13: Commit 46ae17f pushed by tchajed
43m 33s main
main
43m 33s
Allow go 1.24 in go.mod CI #12: Commit a1cb5a9 pushed by tchajed
43m 37s main
main
43m 37s
Don't be picky about go version CI #11: Commit 22704ed pushed by tchajed
42m 37s main
main
42m 37s
Switch to dune build CI #10: Pull request #1 synchronize by tchajed
52s dune
dune
52s
Switch to dune build CI #9: Pull request #1 opened by tchajed
43m 50s dune
dune
43m 50s
Import scripts from perennial CI #8: Commit e8a9433 pushed by tchajed
1h 11m 5s main
main
1h 11m 5s
Add rsm translation to update-goose script CI #7: Commit 048c1ec pushed by tchajed
42m 52s main
main
42m 52s
Update and maintain goose output CI #6: Commit f646fc9 pushed by tchajed
43m 7s main
main
43m 7s
Remove placeholder tulip.v file CI #5: Commit 752d2e8 pushed by tchajed
56m 9s main
main
56m 9s
Import tulip proofs from perennial CI #4: Commit 231440e pushed by tchajed
59m 14s main
main
59m 14s
Fix install CI #3: Commit 1d2946f pushed by tchajed
26m 26s main
main
26m 26s
Add go.mod CI #2: Commit 5f918bc pushed by tchajed
26m 2s main
main
26m 2s
Add project skeleton CI #1: Commit 05e9790 pushed by tchajed
12s main
main
12s