Skip to content

Actions: mit-pdos/perennial

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
1,935 workflow runs
1,935 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Oops CI #112: Commit a908feb pushed by upamanyus
August 23, 2024 20:50 54m 9s master
master
August 23, 2024 20:50 54m 9s
Add etcd/raft to shouldbuild CI #111: Commit 7299df3 pushed by upamanyus
August 23, 2024 20:49 2m 28s master
master
August 23, 2024 20:49 2m 28s
Able to build parts of etcd/raft that aren't affected by cyclic depen… CI #110: Commit 2b133b4 pushed by upamanyus
August 23, 2024 19:34 54m 28s master
master
August 23, 2024 19:34 54m 28s
Partially generate axioms for all external packages used by etcd-raft; CI #109: Commit f654cf9 pushed by upamanyus
August 23, 2024 18:56 55m 3s master
master
August 23, 2024 18:56 55m 3s
Initial goose of etcd-raft CI #108: Commit d651929 pushed by upamanyus
August 23, 2024 18:16 54m 51s master
master
August 23, 2024 18:16 54m 51s
Regoose and fix CI #107: Commit 93a5e81 pushed by upamanyus
August 23, 2024 17:54 54m 33s master
master
August 23, 2024 17:54 54m 33s
Array fixes CI #106: Commit cbfa444 pushed by upamanyus
August 23, 2024 17:52 52m 14s master
master
August 23, 2024 17:52 52m 14s
CI CI #105: Scheduled
August 23, 2024 09:03 53m 12s master
master
August 23, 2024 09:03 53m 12s
Bump external/iris-named-props from 0816ebe to 1b155dc Dependabot auto-merge #28: Pull request #95 opened by dependabot bot
August 23, 2024 08:38 13s dependabot/submodules/external/iris-named-props-1b155dc
dependabot/submodules/external/iris-named-props-1b155dc
August 23, 2024 08:38 13s
Bump external/iris-named-props from 0816ebe to 1b155dc CI #104: Pull request #95 opened by dependabot bot
August 23, 2024 08:38 54m 1s dependabot/submodules/external/iris-named-props-1b155dc
dependabot/submodules/external/iris-named-props-1b155dc
August 23, 2024 08:38 54m 1s
submodules in /. - Update #873164265 Dependabot Updates #54: by dependabot bot
August 23, 2024 08:37 44s
August 23, 2024 08:37 44s
Update coq/tested Update coq/tested #1571: Scheduled
August 23, 2024 07:05 13s master
master
August 23, 2024 07:05 13s
CI CI #103: Scheduled
August 22, 2024 09:03 54m 15s master
master
August 22, 2024 09:03 54m 15s
submodules in /. - Update #872660673 Dependabot Updates #53: by dependabot bot
August 22, 2024 09:01 42s
August 22, 2024 09:01 42s
Update coq/tested Update coq/tested #1570: Scheduled
August 22, 2024 07:05 17s master
master
August 22, 2024 07:05 17s
Admit some proofs that were broken from arrays CI #102: Commit 33d18de pushed by upamanyus
August 21, 2024 20:11 54m 10s master
master
August 21, 2024 20:11 54m 10s
Merge branch 'arrays' CI #101: Commit f553f5a pushed by upamanyus
August 21, 2024 17:26 51m 53s master
master
August 21, 2024 17:26 51m 53s
CI CI #100: Scheduled
August 21, 2024 09:04 53m 18s master
master
August 21, 2024 09:04 53m 18s
Bump external/iris-named-props from a890750 to 0816ebe Dependabot auto-merge #27: Pull request #94 opened by dependabot bot
August 21, 2024 08:25 11s dependabot/submodules/external/iris-named-props-0816ebe
dependabot/submodules/external/iris-named-props-0816ebe
August 21, 2024 08:25 11s
Bump external/iris-named-props from a890750 to 0816ebe CI #99: Pull request #94 opened by dependabot bot
August 21, 2024 08:25 53m 54s dependabot/submodules/external/iris-named-props-0816ebe
dependabot/submodules/external/iris-named-props-0816ebe
August 21, 2024 08:25 53m 54s
submodules in /. - Update #872172572 Dependabot Updates #52: by dependabot bot
August 21, 2024 08:24 47s
August 21, 2024 08:24 47s
Update coq/tested Update coq/tested #1569: Scheduled
August 21, 2024 07:04 14s master
master
August 21, 2024 07:04 14s
Prove contradiction for the impossible cases CI #98: Commit f92a6ef pushed by yunshengtw
August 20, 2024 23:33 54m 8s master
master
August 20, 2024 23:33 54m 8s
factor out whole-disk wpc specs for read, write CI #97: Commit 13370d1 pushed by zeldovich
August 20, 2024 22:09 55m 3s master
master
August 20, 2024 22:09 55m 3s
Regoose CI #96: Commit 3ec3003 pushed by upamanyus
August 20, 2024 17:56 54m 15s master
master
August 20, 2024 17:56 54m 15s