Skip to content

Actions: mit-pdos/perennial

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI CI #217: Scheduled
September 21, 2024 09:03 57m 54s master
master
September 21, 2024 09:03 57m 54s
Update coq/tested Update coq/tested #1600: Scheduled
September 21, 2024 07:04 13s master
master
September 21, 2024 07:04 13s
CI CI #216: Scheduled
September 20, 2024 09:05 58m 19s master
master
September 20, 2024 09:05 58m 19s
submodules in /. - Update #888106416 Dependabot Updates #77: by dependabot bot
September 20, 2024 08:14 44s
September 20, 2024 08:14 44s
Update coq/tested Update coq/tested #1599: Scheduled
September 20, 2024 07:04 13s master
master
September 20, 2024 07:04 13s
Checkpoint paxos resources/invariants CI #215: Commit 4cf5afd pushed by yunshengtw
September 19, 2024 16:36 58m 47s master
master
September 19, 2024 16:36 58m 47s
store_ty takes 2 separate arguments instead of a pair CI #214: Commit dc070af pushed by upamanyus
September 19, 2024 15:52 58m 50s master
master
September 19, 2024 15:52 58m 50s
[ci]: test Coq 8.20 instead of 8.19 CI #213: Commit 2dc24e5 pushed by tchajed
September 19, 2024 14:15 58m 50s master
master
September 19, 2024 14:15 58m 50s
CI CI #212: Scheduled
September 19, 2024 09:04 57m 55s master
master
September 19, 2024 09:04 57m 55s
submodules in /. - Update #887502660 Dependabot Updates #76: by dependabot bot
September 19, 2024 09:00 42s
September 19, 2024 09:00 42s
Update coq/tested Update coq/tested #1598: Scheduled
September 19, 2024 07:04 14s master
master
September 19, 2024 07:04 14s
Make wp_store/wp_load much faster by first doing a wp_bind; CI #211: Commit 5cbed0b pushed by upamanyus
September 19, 2024 04:40 59m 11s master
master
September 19, 2024 04:40 59m 11s
CI CI #210: Scheduled
September 18, 2024 09:05 59m 0s master
master
September 18, 2024 09:05 59m 0s
submodules in /. - Update #886928470 Dependabot Updates #75: by dependabot bot
September 18, 2024 08:42 43s
September 18, 2024 08:42 43s
Update coq/tested Update coq/tested #1597: Scheduled
September 18, 2024 07:04 15s master
master
September 18, 2024 07:04 15s
Merge pull request #117 from proux01/stdlib_repo CI #209: Commit d4f705d pushed by tchajed
September 17, 2024 12:40 57m 35s master
master
September 17, 2024 12:40 57m 35s
Adapt to https://github.com/coq/coq/pull/19530 CI #208: Pull request #117 opened by proux01
September 17, 2024 10:02 1h 0m 56s proux01:stdlib_repo
proux01:stdlib_repo
September 17, 2024 10:02 1h 0m 56s
Adapt to https://github.com/coq/coq/pull/19530 Dependabot auto-merge #54: Pull request #117 opened by proux01
September 17, 2024 10:02 3s proux01:stdlib_repo
proux01:stdlib_repo
September 17, 2024 10:02 3s
submodules in /. - Update #886066678 Dependabot Updates #74: by dependabot bot
September 17, 2024 09:06 43s
September 17, 2024 09:06 43s
CI CI #207: Scheduled
September 17, 2024 09:03 57m 31s master
master
September 17, 2024 09:03 57m 31s
Update coq/tested Update coq/tested #1596: Scheduled
September 17, 2024 07:03 13s master
master
September 17, 2024 07:03 13s
CI CI #206: Scheduled
September 16, 2024 09:04 57m 55s master
master
September 16, 2024 09:04 57m 55s
submodules in /. - Update #885111878 Dependabot Updates #73: by dependabot bot
September 16, 2024 08:24 41s
September 16, 2024 08:24 41s
Update coq/tested Update coq/tested #1595: Scheduled
September 16, 2024 07:04 15s master
master
September 16, 2024 07:04 15s
CI CI #205: Scheduled
September 15, 2024 09:03 57m 55s master
master
September 15, 2024 09:03 57m 55s