Skip to content

Actions: mit-pdos/perennial

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,192 workflow runs
2,192 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Use ectx in tac_wp_ref_ty CI #407: Commit d92f5e7 pushed by upamanyus
November 10, 2024 05:12 In progress master
master
November 10, 2024 05:12 In progress
qed wp_testAll CI #406: Commit 4eeb9e0 pushed by sanjit-bhat
November 10, 2024 01:32 57m 44s master
master
November 10, 2024 01:32 57m 44s
make word try iPureIntro CI #405: Commit c70744a pushed by sanjit-bhat
November 9, 2024 22:29 1h 0m 3s master
master
November 9, 2024 22:29 1h 0m 3s
fix ci. failing etcdraft proof CI #404: Commit 1ee79bb pushed by sanjit-bhat
November 9, 2024 22:15 58m 9s master
master
November 9, 2024 22:15 58m 9s
allow for canonical init hist, by changing ep validity to be excl CI #403: Commit fb4ba94 pushed by sanjit-bhat
November 9, 2024 21:24 58m 48s master
master
November 9, 2024 21:24 58m 48s
CI CI #402: Scheduled
November 9, 2024 09:03 57m 58s master
master
November 9, 2024 09:03 57m 58s
Update coq/tested Update coq/tested #1649: Scheduled
November 9, 2024 07:04 13s master
master
November 9, 2024 07:04 13s
Prove wp_map_make; get further along symbolically executing test case CI #401: Commit cf81236 pushed by upamanyus
November 9, 2024 06:00 57m 42s master
master
November 9, 2024 06:00 57m 42s
More proof robustness CI #400: Commit 84bdb1c pushed by tchajed
November 9, 2024 01:44 57m 27s master
master
November 9, 2024 01:44 57m 27s
Attempt to fix a proof on coq dev CI #399: Commit 2b6baaa pushed by tchajed
November 9, 2024 01:28 58m 29s master
master
November 9, 2024 01:28 58m 29s
Add model and proof of some of sync/atomic CI #398: Commit 513c374 pushed by tchajed
November 9, 2024 00:05 59m 9s master
master
November 9, 2024 00:05 59m 9s
qed get_audit_msv CI #397: Commit b15542b pushed by sanjit-bhat
November 8, 2024 22:59 58m 12s master
master
November 8, 2024 22:59 58m 12s
qed hist wps CI #396: Commit 10b1598 pushed by sanjit-bhat
November 8, 2024 21:31 58m 2s master
master
November 8, 2024 21:31 58m 2s
Try to symbolically execute test case in WP proofmode; very slow CI #395: Commit a22e9fd pushed by upamanyus
November 8, 2024 20:08 57m 26s master
master
November 8, 2024 20:08 57m 26s
Fix up the refinement proofs CI #394: Commit 263f255 pushed by tchajed
November 8, 2024 12:55 58m 6s master
master
November 8, 2024 12:55 58m 6s
submodules in /. - Update #913924596 Dependabot Updates #120: by dependabot bot
November 8, 2024 09:34 44s
November 8, 2024 09:34 44s
CI CI #393: Scheduled
November 8, 2024 09:04 1h 6m 47s master
master
November 8, 2024 09:04 1h 6m 47s
Update coq/tested Update coq/tested #1648: Scheduled
November 8, 2024 07:04 14s master
master
November 8, 2024 07:04 14s
qed hist_extend_put CI #392: Commit 588e45d pushed by sanjit-bhat
November 8, 2024 05:22 58m 31s master
master
November 8, 2024 05:22 58m 31s
wp_store using PointsToAccess CI #391: Commit 2c16879 pushed by upamanyus
November 8, 2024 04:10 59m 17s master
master
November 8, 2024 04:10 59m 17s
Handle backtracking problem CI #390: Commit d32bfb9 pushed by upamanyus
November 7, 2024 19:30 58m 58s master
master
November 7, 2024 19:30 58m 58s
fixup hist proofs after core changes CI #389: Commit 08627e9 pushed by sanjit-bhat
November 7, 2024 18:36 57m 58s master
master
November 7, 2024 18:36 57m 58s
document dependabot automerge CI #388: Commit 040e6f2 pushed by sanjit-bhat
November 7, 2024 16:27 58m 8s master
master
November 7, 2024 16:27 58m 8s
submodules in /. - Update #913377186 Dependabot Updates #119: by dependabot bot
November 7, 2024 09:23 44s
November 7, 2024 09:23 44s
CI CI #387: Scheduled
November 7, 2024 09:03 57m 15s master
master
November 7, 2024 09:03 57m 15s