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 7b3508c to 72e683c CI #553: Pull request #145 opened by dependabot bot
December 9, 2024 09:57 1h 9m 55s dependabot/submodules/external/iris-72e683c
dependabot/submodules/external/iris-72e683c
December 9, 2024 09:57 1h 9m 55s
CI CI #552: Scheduled
December 9, 2024 09:04 1h 6m 59s master
master
December 9, 2024 09:04 1h 6m 59s
Try to carefully set up merkle Put loopInv to unravel nicely when fix… CI #551: Commit 7bf624e pushed by upamanyus
December 9, 2024 06:34 1h 7m 15s master
master
December 9, 2024 06:34 1h 7m 15s
Add some missing heapGS instances to context CI #550: Commit c3c209e pushed by jtassarotti
December 9, 2024 03:07 1h 7m 26s master
master
December 9, 2024 03:07 1h 7m 26s
checkpoint some of paxos res allocation CI #549: Commit b98a312 pushed by jtassarotti
December 9, 2024 01:38 1h 6m 59s master
master
December 9, 2024 01:38 1h 6m 59s
Finish tulip basic resolve prophecy triples CI #548: Commit ca87c20 pushed by jtassarotti
December 8, 2024 23:23 1h 8m 10s master
master
December 8, 2024 23:23 1h 8m 10s
CI CI #547: Scheduled
December 8, 2024 09:03 1h 9m 13s master
master
December 8, 2024 09:03 1h 9m 13s
Better induction principle for tree (established by doing induction o… CI #546: Commit f4154db pushed by upamanyus
December 7, 2024 23:14 1h 9m 50s master
master
December 7, 2024 23:14 1h 9m 50s
Prove wp_NewTree; prove is_dig_inj and is_merkle_entry_with_map CI #545: Commit f3fc265 pushed by upamanyus
December 7, 2024 18:52 1h 9m 4s master
master
December 7, 2024 18:52 1h 9m 4s
CI CI #544: Scheduled
December 7, 2024 09:03 1h 9m 2s master
master
December 7, 2024 09:03 1h 9m 2s
Port over (most of) Ralf's tid generation proof to Tulip CI #543: Commit ce604f6 pushed by jtassarotti
December 7, 2024 03:54 1h 10m 12s master
master
December 7, 2024 03:54 1h 10m 12s
Bump external/iris from 7b3508c to e12caa8 CI #542: Pull request #144 opened by dependabot bot
December 6, 2024 10:02 1h 10m 20s dependabot/submodules/external/iris-e12caa8
dependabot/submodules/external/iris-e12caa8
December 6, 2024 10:02 1h 10m 20s
Bump external/stdpp from ecc41d2 to df46059 CI #541: Pull request #143 opened by dependabot bot
December 6, 2024 10:02 1h 9m 59s dependabot/submodules/external/stdpp-df46059
dependabot/submodules/external/stdpp-df46059
December 6, 2024 10:02 1h 9m 59s
CI CI #540: Scheduled
December 6, 2024 09:04 1h 10m 19s master
master
December 6, 2024 09:04 1h 10m 19s
Add print_assumptions for tulip CI #539: Commit 8442969 pushed by yunshengtw
December 5, 2024 19:48 1h 9m 45s master
master
December 5, 2024 19:48 1h 9m 45s
Add go globals implementation CI #538: Commit 1639e56 pushed by upamanyus
December 5, 2024 18:17 1h 9m 23s master
master
December 5, 2024 18:17 1h 9m 23s
Fix a semantics proof CI #537: Commit 8e16dbb pushed by upamanyus
December 5, 2024 17:11 1h 9m 58s master
master
December 5, 2024 17:11 1h 9m 58s
Bump external/iris from 145a30c to 7b3508c CI #536: Pull request #142 opened by dependabot bot
December 5, 2024 09:46 1h 9m 42s dependabot/submodules/external/iris-7b3508c
dependabot/submodules/external/iris-7b3508c
December 5, 2024 09:46 1h 9m 42s
CI CI #535: Scheduled
December 5, 2024 09:04 1h 10m 1s master
master
December 5, 2024 09:04 1h 10m 1s
More merkle Put proof progress; merge a branch in the proof CI #534: Commit aa20809 pushed by upamanyus
December 5, 2024 03:28 1h 9m 20s master
master
December 5, 2024 03:28 1h 9m 20s
Prove key to group CI #533: Commit 28a25f6 pushed by yunshengtw
December 4, 2024 18:12 1h 10m 2s master
master
December 4, 2024 18:12 1h 10m 2s
CI CI #532: Scheduled
December 4, 2024 09:04 1h 0m 23s master
master
December 4, 2024 09:04 1h 0m 23s
Prove timeless and countable instances CI #531: Commit 5cc033a pushed by yunshengtw
December 4, 2024 05:59 1h 0m 40s master
master
December 4, 2024 05:59 1h 0m 40s
Define and prove consensus resources CI #530: Commit 61eea85 pushed by yunshengtw
December 4, 2024 05:27 1h 0m 21s master
master
December 4, 2024 05:27 1h 0m 21s
Prove paxos RA except consensus CI #529: Commit 8dd9461 pushed by yunshengtw
December 4, 2024 01:34 59m 50s master
master
December 4, 2024 01:34 59m 50s