Skip to content

Actions: mit-pdos/perennial

Actions

CI

Actions

Loading...
Loading

Create status badge

Loading
ci.yml
843 workflow runs
843 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Support later credits in wp_auto; reimplemented in ltac2 CI #843: Pull request #197 synchronize by upamanyus
March 10, 2025 20:24 1h 15m 26s wp-auto-lc
wp-auto-lc
March 10, 2025 20:24 1h 15m 26s
Support later credits in wp_auto; reimplemented in ltac2 CI #842: Pull request #197 opened by upamanyus
March 10, 2025 20:16 1h 14m 59s wp-auto-lc
wp-auto-lc
March 10, 2025 20:16 1h 14m 59s
Single sender/receiver channel specification CI #841: Pull request #195 synchronize by lredlin
March 10, 2025 19:19 17m 41s lredlin:chan_spec_single
lredlin:chan_spec_single
March 10, 2025 19:19 17m 41s
CI CI #840: Scheduled
March 10, 2025 09:03 1h 15m 2s master
master
March 10, 2025 09:03 1h 15m 2s
Bump external/coqutil from ac8490b to 4597335 CI #839: Pull request #196 opened by dependabot bot
March 10, 2025 08:58 1h 17m 13s dependabot/submodules/external/coqutil-4597335
dependabot/submodules/external/coqutil-4597335
March 10, 2025 08:58 1h 17m 13s
Single sender/receiver channel specification CI #838: Pull request #195 opened by lredlin
March 10, 2025 03:47 1h 16m 49s lredlin:chan_spec_single
lredlin:chan_spec_single
March 10, 2025 03:47 1h 16m 49s
Regoose for https://github.com/goose-lang/goose/pull/66 CI #837: Pull request #194 opened by lredlin
March 10, 2025 03:45 1h 14m 47s lredlin:regoose_levi
lredlin:regoose_levi
March 10, 2025 03:45 1h 14m 47s
CI CI #836: Scheduled
March 9, 2025 09:03 1h 14m 51s master
master
March 9, 2025 09:03 1h 14m 51s
CI CI #835: Scheduled
March 8, 2025 09:03 1h 14m 41s master
master
March 8, 2025 09:03 1h 14m 41s
Make iPkgInit work on conjuncts CI #834: Commit 7dd4777 pushed by tchajed
March 7, 2025 20:59 1h 14m 33s master
master
March 7, 2025 20:59 1h 14m 33s
Merge pull request #193 from tchajed/pkg-init-persistent CI #833: Commit c899e66 pushed by tchajed
March 7, 2025 18:20 1h 15m 55s master
master
March 7, 2025 18:20 1h 15m 55s
Speed up proving persistence of is_pkg_init CI #832: Pull request #193 opened by tchajed
March 7, 2025 17:59 1h 16m 24s tchajed:pkg-init-persistent
tchajed:pkg-init-persistent
March 7, 2025 17:59 1h 16m 24s
Make package is_defined and is_initialized systematic (#191) CI #831: Commit 790c9e4 pushed by tchajed
March 7, 2025 15:21 1h 17m 36s master
master
March 7, 2025 15:21 1h 17m 36s
CI CI #830: Scheduled
March 7, 2025 09:04 1h 16m 0s master
master
March 7, 2025 09:04 1h 16m 0s
Make package is_defined and is_initialized systematic CI #829: Pull request #191 synchronize by upamanyus
March 7, 2025 07:41 1h 15m 6s tchajed/new-init
tchajed/new-init
March 7, 2025 07:41 1h 15m 6s
Make package is_defined and is_initialized systematic CI #828: Pull request #191 synchronize by upamanyus
March 7, 2025 07:21 1h 14m 48s tchajed/new-init
tchajed/new-init
March 7, 2025 07:21 1h 14m 48s
Make package is_defined and is_initialized systematic CI #827: Pull request #191 synchronize by upamanyus
March 7, 2025 06:11 1h 16m 2s tchajed/new-init
tchajed/new-init
March 7, 2025 06:11 1h 16m 2s
Make package is_defined and is_initialized systematic CI #826: Pull request #191 synchronize by upamanyus
March 7, 2025 05:26 1h 15m 23s tchajed/new-init
tchajed/new-init
March 7, 2025 05:26 1h 15m 23s
Add participant groups back CI #825: Commit fa278a7 pushed by yunshengtw
March 6, 2025 23:50 1h 15m 21s master
master
March 6, 2025 23:50 1h 15m 21s
Make package is_defined and is_initialized systematic CI #824: Pull request #191 synchronize by upamanyus
March 6, 2025 22:20 1h 16m 18s tchajed/new-init
tchajed/new-init
March 6, 2025 22:20 1h 16m 18s
Make package is_defined and is_initialized systematic CI #823: Pull request #191 synchronize by upamanyus
March 6, 2025 21:13 1h 13m 3s tchajed/new-init
tchajed/new-init
March 6, 2025 21:13 1h 13m 3s
Make package is_defined and is_initialized systematic CI #822: Pull request #191 synchronize by upamanyus
March 6, 2025 20:59 1h 15m 7s tchajed/new-init
tchajed/new-init
March 6, 2025 20:59 1h 15m 7s
Try to fix build CI #821: Commit 511aba5 pushed by upamanyus
March 6, 2025 20:44 1h 15m 11s master
master
March 6, 2025 20:44 1h 15m 11s
Bump external/coqutil from ac8490b to 1d35449 CI #820: Pull request #192 synchronize by dependabot bot
March 6, 2025 18:25 1h 15m 32s dependabot/submodules/external/coqutil-1d35449
dependabot/submodules/external/coqutil-1d35449
March 6, 2025 18:25 1h 15m 32s
Fix a broken etcd proof CI #819: Commit 7d409b1 pushed by tchajed
March 6, 2025 18:21 1h 15m 42s master
master
March 6, 2025 18:21 1h 15m 42s