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

clean up adtr gs invs CI #605: Commit 5e352c0 pushed by sanjit-bhat
December 30, 2024 21:50 1h 11m 24s master
master
December 30, 2024 21:50 1h 11m 24s
CI CI #604: Scheduled
December 30, 2024 09:04 1h 11m 10s master
master
December 30, 2024 09:04 1h 11m 10s
CI CI #603: Scheduled
December 29, 2024 09:03 1h 11m 54s master
master
December 29, 2024 09:03 1h 11m 54s
fix ci CI #602: Commit f18862e pushed by sanjit-bhat
December 28, 2024 16:43 1h 12m 0s master
master
December 28, 2024 16:43 1h 12m 0s
CI CI #601: Scheduled
December 28, 2024 09:03 1h 11m 58s master
master
December 28, 2024 09:03 1h 11m 58s
CI CI #600: Scheduled
December 27, 2024 09:03 1h 11m 14s master
master
December 27, 2024 09:03 1h 11m 14s
Eliminate admits in globals using new hex encoding CI #599: Commit 3c7c200 pushed by upamanyus
December 26, 2024 23:40 1h 11m 9s master
master
December 26, 2024 23:40 1h 11m 9s
CI CI #598: Scheduled
December 26, 2024 09:03 1h 12m 28s master
master
December 26, 2024 09:03 1h 12m 28s
CI CI #597: Scheduled
December 25, 2024 09:03 1h 11m 5s master
master
December 25, 2024 09:03 1h 11m 5s
CI CI #596: Scheduled
December 24, 2024 09:03 1h 11m 44s master
master
December 24, 2024 09:03 1h 11m 44s
Bump external/coqutil from e395373 to 421da12 CI #595: Pull request #147 opened by dependabot bot
December 23, 2024 10:03 1h 12m 14s dependabot/submodules/external/coqutil-421da12
dependabot/submodules/external/coqutil-421da12
December 23, 2024 10:03 1h 12m 14s
CI CI #594: Scheduled
December 23, 2024 09:04 1h 11m 14s master
master
December 23, 2024 09:04 1h 11m 14s
CI CI #593: Scheduled
December 22, 2024 09:03 1h 11m 43s master
master
December 22, 2024 09:03 1h 11m 43s
Split word library into several files CI #592: Commit e177534 pushed by tchajed
December 22, 2024 03:18 1h 11m 50s master
master
December 22, 2024 03:18 1h 11m 50s
CI CI #591: Scheduled
December 21, 2024 09:03 1h 11m 21s master
master
December 21, 2024 09:03 1h 11m 21s
Oops CI #590: Commit 48f7f11 pushed by upamanyus
December 20, 2024 21:47 1h 12m 37s master
master
December 20, 2024 21:47 1h 12m 37s
Better notation using via string notation; still not sure why CI #589: Commit 219d02c pushed by upamanyus
December 20, 2024 21:44 14m 2s master
master
December 20, 2024 21:44 14m 2s
Merge branch 'strings-as-list' CI #588: Commit 34791b5 pushed by upamanyus
December 20, 2024 17:55 1m 29s master
master
December 20, 2024 17:55 1m 29s
CI CI #587: Scheduled
December 20, 2024 09:03 1h 9m 47s master
master
December 20, 2024 09:03 1h 9m 47s
CI CI #586: Manually run by upamanyus
December 20, 2024 05:40 1m 30s strings-as-list
strings-as-list
December 20, 2024 05:40 1m 30s
Bump external/coqutil from 0833256 to e395373 CI #585: Pull request #146 synchronize by dependabot bot
December 19, 2024 23:51 1h 10m 0s dependabot/submodules/external/coqutil-e395373
dependabot/submodules/external/coqutil-e395373
December 19, 2024 23:51 1h 10m 0s
Bump external/iris from 7b3508c to 72e683c CI #584: Pull request #145 synchronize by dependabot bot
December 19, 2024 22:37 1h 9m 44s dependabot/submodules/external/iris-72e683c
dependabot/submodules/external/iris-72e683c
December 19, 2024 22:37 1h 9m 44s
CI CI #583: Scheduled
December 19, 2024 09:04 1h 9m 28s master
master
December 19, 2024 09:04 1h 9m 28s
CI CI #582: Scheduled
December 18, 2024 09:04 1h 29m 42s master
master
December 18, 2024 09:04 1h 29m 42s
Merge branch 'globals' CI #581: Commit 4a21044 pushed by upamanyus
December 18, 2024 02:04 1m 36s master
master
December 18, 2024 02:04 1m 36s