Skip to content

Actions: mit-pdos/perennial

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
655 workflow runs
655 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

remove pav from should_build until i can figure out this universe con… CI #30: Commit 4a48615 pushed by sanjit-bhat
August 1, 2024 17:35 53m 52s master
master
August 1, 2024 17:35 53m 52s
add pav to ci should build CI #29: Commit 883fc33 pushed by sanjit-bhat
August 1, 2024 16:37 55m 45s master
master
August 1, 2024 16:37 55m 45s
CI CI #28: Scheduled
August 1, 2024 09:03 53m 23s master
master
August 1, 2024 09:03 53m 23s
updated ctxt var inference in list helpers without making full ci, oops CI #27: Commit c3f3395 pushed by sanjit-bhat
July 31, 2024 21:11 53m 17s master
master
July 31, 2024 21:11 53m 17s
qed server.updateEpoch CI #26: Commit 1743511 pushed by sanjit-bhat
July 31, 2024 17:56 23m 48s master
master
July 31, 2024 17:56 23m 48s
Prove struct_pointsto implies non-null pointer CI #25: Commit 793d43f pushed by tchajed
July 31, 2024 13:12 52m 27s master
master
July 31, 2024 13:12 52m 27s
CI CI #24: Scheduled
July 31, 2024 09:04 52m 7s master
master
July 31, 2024 09:04 52m 7s
Bump external/stdpp from b431040 to d80bbc1 CI #23: Pull request #86 opened by dependabot bot
July 31, 2024 08:12 51m 35s dependabot/submodules/external/stdpp-d80bbc1
dependabot/submodules/external/stdpp-d80bbc1
July 31, 2024 08:12 51m 35s
document applyUpdates CI #22: Commit 20b4fb1 pushed by sanjit-bhat
July 30, 2024 19:55 53m 50s master
master
July 30, 2024 19:55 53m 50s
qed applyUpdates. using existential map in loop inv turned out to be … CI #21: Commit c856fdf pushed by sanjit-bhat
July 30, 2024 19:36 53m 24s master
master
July 30, 2024 19:36 53m 24s
Merge pull request #85 from mit-pdos/fix-py-venv CI #20: Commit 229e896 pushed by sanjit-bhat
July 30, 2024 14:22 52m 51s master
master
July 30, 2024 14:22 52m 51s
Fix python venv inside docker-coq-action container CI #19: Pull request #85 synchronize by sanjit-bhat
July 30, 2024 14:13 54m 29s fix-py-venv
fix-py-venv
July 30, 2024 14:13 54m 29s
Fix python venv inside docker-coq-action container CI #18: Pull request #85 synchronize by sanjit-bhat
July 30, 2024 14:04 1m 48s fix-py-venv
fix-py-venv
July 30, 2024 14:04 1m 48s
Fix python venv inside docker-coq-action container CI #17: Pull request #85 synchronize by sanjit-bhat
July 30, 2024 13:58 1m 50s fix-py-venv
fix-py-venv
July 30, 2024 13:58 1m 50s
Fix python venv inside docker-coq-action container CI #16: Pull request #85 opened by sanjit-bhat
July 30, 2024 13:53 1m 45s fix-py-venv
fix-py-venv
July 30, 2024 13:53 1m 45s
CI CI #15: Scheduled
July 30, 2024 09:03 1m 51s master
master
July 30, 2024 09:03 1m 51s
CI CI #14: Scheduled
July 29, 2024 09:03 52m 6s master
master
July 29, 2024 09:03 52m 6s
CI CI #13: Scheduled
July 28, 2024 09:03 51m 50s master
master
July 28, 2024 09:03 51m 50s
figured out applyUpdates loop inv. can't get rewrite lookup_empty to … CI #12: Commit 709f9a5 pushed by sanjit-bhat
July 27, 2024 21:36 51m 30s master
master
July 27, 2024 21:36 51m 30s
regoose CI #11: Commit b9281bc pushed by sanjit-bhat
July 27, 2024 13:44 51m 49s master
master
July 27, 2024 13:44 51m 49s
CI CI #10: Scheduled
July 27, 2024 09:03 51m 22s master
master
July 27, 2024 09:03 51m 22s
Add proof of std Spawn and Join CI #9: Commit 78b126f pushed by tchajed
July 26, 2024 17:06 52m 7s master
master
July 26, 2024 17:06 52m 7s
Fix CI badge in README CI #8: Commit 0e61492 pushed by tchajed
July 26, 2024 16:07 52m 15s master
master
July 26, 2024 16:07 52m 15s
CI CI #7: Scheduled
July 26, 2024 09:03 51m 51s master
master
July 26, 2024 09:03 51m 51s
pin exact deps CI #6: Commit a045ee4 pushed by sanjit-bhat
July 26, 2024 04:01 51m 23s master
master
July 26, 2024 04:01 51m 23s
ProTip! You can narrow down the results and go further in time using created:<2024-07-26 or the other filters available.