Skip to content

Actions: mit-pdos/perennial

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
678 workflow runs
678 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump external/iris from 6b57ac2 to 145a30c CI #503: Pull request #139 opened by dependabot bot
November 28, 2024 09:20 1h 0m 10s dependabot/submodules/external/iris-145a30c
dependabot/submodules/external/iris-145a30c
November 28, 2024 09:20 1h 0m 10s
CI CI #502: Scheduled
November 28, 2024 09:04 1h 0m 34s master
master
November 28, 2024 09:04 1h 0m 34s
Prove txnlog CI #501: Commit 3d90116 pushed by yunshengtw
November 28, 2024 02:28 59m 53s master
master
November 28, 2024 02:28 59m 53s
CI CI #500: Scheduled
November 27, 2024 09:04 1h 0m 3s master
master
November 27, 2024 09:04 1h 0m 3s
Prove encoding/decoding of paxos messages CI #499: Commit 4dff016 pushed by yunshengtw
November 27, 2024 03:43 1h 0m 41s master
master
November 27, 2024 03:43 1h 0m 41s
Define a version of own_crash that avoids the double later problem CI #498: Commit c644cdf pushed by jtassarotti
November 27, 2024 02:54 58m 26s master
master
November 27, 2024 02:54 58m 26s
Prove encoding/decoding of transaction request CI #497: Commit 5d92e44 pushed by yunshengtw
November 27, 2024 00:56 58m 40s master
master
November 27, 2024 00:56 58m 40s
Prove encoding/decoding of map CI #496: Commit c4a2c09 pushed by yunshengtw
November 26, 2024 20:20 58m 59s master
master
November 26, 2024 20:20 58m 59s
Update marshal goose output CI #495: Commit 6bcb245 pushed by tchajed
November 26, 2024 20:16 1h 0m 17s master
master
November 26, 2024 20:16 1h 0m 17s
Progress on getPathAddNodes() in merkle.Tree.Put() CI #494: Commit 209d7dd pushed by upamanyus
November 26, 2024 19:23 1h 0m 24s master
master
November 26, 2024 19:23 1h 0m 24s
Fix ListSplice.v CI #493: Commit 2f0f3a9 pushed by tchajed
November 26, 2024 19:00 59m 23s master
master
November 26, 2024 19:00 59m 23s
CI CI #492: Scheduled
November 26, 2024 09:04 59m 2s master
master
November 26, 2024 09:04 59m 2s
Start simplifying proof plan for merkle CI #491: Commit 8fe822d pushed by upamanyus
November 26, 2024 06:41 1h 0m 9s master
master
November 26, 2024 06:41 1h 0m 9s
Checkpoint merkle Tree.Put progress CI #490: Commit f62b6f3 pushed by upamanyus
November 26, 2024 03:07 1h 0m 37s master
master
November 26, 2024 03:07 1h 0m 37s
Move to a relational approach to encode map CI #489: Commit e327487 pushed by yunshengtw
November 26, 2024 02:39 59m 48s master
master
November 26, 2024 02:39 59m 48s
Define own_node_except, using option (list w8) to concisely describe CI #488: Commit c978d29 pushed by upamanyus
November 26, 2024 02:30 59m 9s master
master
November 26, 2024 02:30 59m 9s
Prove fstring_finite instance CI #487: Commit fb6c0bd pushed by jtassarotti
November 26, 2024 00:45 59m 43s master
master
November 26, 2024 00:45 59m 43s
Add Print Assumptions to client.v to help keep track of what's left CI #486: Commit c895b35 pushed by upamanyus
November 25, 2024 20:31 59m 29s master
master
November 25, 2024 20:31 59m 29s
qed wp_NewClient CI #485: Commit 50e55e1 pushed by sanjit-bhat
November 25, 2024 20:15 1h 0m 38s master
master
November 25, 2024 20:15 1h 0m 38s
Prove tuple CI #484: Commit 07816ed pushed by yunshengtw
November 25, 2024 19:56 59m 14s master
master
November 25, 2024 19:56 59m 14s
fix prev client proofs CI #483: Commit 8d32fde pushed by sanjit-bhat
November 25, 2024 19:52 58m 54s master
master
November 25, 2024 19:52 58m 54s
qed all client helpers CI #482: Commit 7e44a5a pushed by sanjit-bhat
November 25, 2024 17:43 59m 30s master
master
November 25, 2024 17:43 59m 30s
CI CI #481: Scheduled
November 25, 2024 09:04 58m 39s master
master
November 25, 2024 09:04 58m 39s
qed wp_checkDig CI #480: Commit 3777348 pushed by sanjit-bhat
November 25, 2024 04:22 58m 42s master
master
November 25, 2024 04:22 58m 42s
Fix another proof CI #479: Commit 3c22b3e pushed by upamanyus
November 25, 2024 03:41 57m 45s master
master
November 25, 2024 03:41 57m 45s