Skip to content

Actions: mit-pdos/perennial

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
723 workflow runs
723 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Regoose; more NewSession progress CI #698: Commit a737ef9 pushed by upamanyus
February 7, 2025 19:24 1h 13m 24s master
master
February 7, 2025 19:24 1h 13m 24s
Re-proofgen to use type names rather than their underlying type defs; CI #697: Commit bc4639c pushed by upamanyus
February 7, 2025 18:09 1h 13m 1s master
master
February 7, 2025 18:09 1h 13m 1s
Upgrade iris and stdpp CI #696: Commit 387a1b4 pushed by tchajed
February 7, 2025 18:03 1h 12m 1s master
master
February 7, 2025 18:03 1h 12m 1s
Start axiomatizing clientv3 and skeleton proof of concurrency.Session CI #695: Commit 0689d36 pushed by upamanyus
February 7, 2025 17:51 1h 20m 31s master
master
February 7, 2025 17:51 1h 20m 31s
Fix update-goose-new.py CI #694: Commit 16e4d1b pushed by upamanyus
February 7, 2025 17:07 1h 12m 17s master
master
February 7, 2025 17:07 1h 12m 17s
Merge pull request #168 from mit-pdos/fix-rocq-action-perm CI #693: Commit a683677 pushed by sanjit-bhat
February 7, 2025 13:49 1h 13m 11s master
master
February 7, 2025 13:49 1h 13m 11s
fix rocq action perm issue CI #692: Pull request #168 opened by sanjit-bhat
February 7, 2025 13:44 1h 12m 59s fix-rocq-action-perm
fix-rocq-action-perm
February 7, 2025 13:44 1h 12m 59s
Bump external/stdpp from e3a6f3e to de2bf2a CI #691: Pull request #167 opened by dependabot bot
February 7, 2025 09:39 58m 4s dependabot/submodules/external/stdpp-de2bf2a
dependabot/submodules/external/stdpp-de2bf2a
February 7, 2025 09:39 58m 4s
Bump external/coqutil from 421da12 to ac8490b CI #690: Pull request #166 opened by dependabot bot
February 7, 2025 09:39 1h 13m 36s dependabot/submodules/external/coqutil-ac8490b
dependabot/submodules/external/coqutil-ac8490b
February 7, 2025 09:39 1h 13m 36s
Bump external/iris from 1bb4eba to 1b6561d CI #689: Pull request #165 opened by dependabot bot
February 7, 2025 09:39 46m 55s dependabot/submodules/external/iris-1b6561d
dependabot/submodules/external/iris-1b6561d
February 7, 2025 09:39 46m 55s
CI CI #688: Scheduled
February 7, 2025 09:03 1h 12m 39s master
master
February 7, 2025 09:03 1h 12m 39s
Merge branch 'global-funcs' CI #687: Commit ed86efb pushed by upamanyus
February 7, 2025 03:19 1h 11m 39s master
master
February 7, 2025 03:19 1h 11m 39s
CI CI #686: Manually run by upamanyus
February 7, 2025 02:08 1h 12m 39s global-funcs
global-funcs
February 7, 2025 02:08 1h 12m 39s
Bump external/iris from 1bb4eba to 69d2820 CI #685: Pull request #164 opened by dependabot bot
February 6, 2025 09:41 46m 56s dependabot/submodules/external/iris-69d2820
dependabot/submodules/external/iris-69d2820
February 6, 2025 09:41 46m 56s
Bump external/stdpp from e3a6f3e to 96ef0cd CI #684: Pull request #163 opened by dependabot bot
February 6, 2025 09:41 58m 58s dependabot/submodules/external/stdpp-96ef0cd
dependabot/submodules/external/stdpp-96ef0cd
February 6, 2025 09:41 58m 58s
CI CI #683: Scheduled
February 6, 2025 09:03 1h 12m 57s master
master
February 6, 2025 09:03 1h 12m 57s
Bump external/stdpp from e3a6f3e to ada66bd CI #682: Pull request #162 opened by dependabot bot
February 5, 2025 09:18 1h 12m 48s dependabot/submodules/external/stdpp-ada66bd
dependabot/submodules/external/stdpp-ada66bd
February 5, 2025 09:18 1h 12m 48s
Bump external/iris from 1bb4eba to b37d196 CI #681: Pull request #161 opened by dependabot bot
February 5, 2025 09:18 46m 54s dependabot/submodules/external/iris-b37d196
dependabot/submodules/external/iris-b37d196
February 5, 2025 09:18 46m 54s
CI CI #680: Scheduled
February 5, 2025 09:04 1h 14m 7s master
master
February 5, 2025 09:04 1h 14m 7s
CI CI #679: Scheduled
February 4, 2025 09:04 1h 13m 26s master
master
February 4, 2025 09:04 1h 13m 26s
Upgrade iris CI #678: Commit e9ffeac pushed by tchajed
February 3, 2025 17:35 1h 14m 18s master
master
February 3, 2025 17:35 1h 14m 18s
Upgrade iris CI #677: Pull request #160 opened by tchajed
February 3, 2025 16:57 1h 13m 35s tchajed/update-iris
tchajed/update-iris
February 3, 2025 16:57 1h 13m 35s
Bump external/iris from 8a8f05f to 1bb4eba CI #676: Pull request #159 opened by dependabot bot
February 3, 2025 09:45 17m 51s dependabot/submodules/external/iris-1bb4eba
dependabot/submodules/external/iris-1bb4eba
February 3, 2025 09:45 17m 51s
CI CI #675: Scheduled
February 3, 2025 09:04 1h 12m 30s master
master
February 3, 2025 09:04 1h 12m 30s
CI CI #674: Scheduled
February 2, 2025 09:03 1h 11m 43s master
master
February 2, 2025 09:03 1h 11m 43s