Skip to content

Actions: mit-pdos/perennial

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI CI #257: Scheduled
October 4, 2024 09:04 59m 20s master
master
October 4, 2024 09:04 59m 20s
submodules in /. - Update #895855703 Dependabot Updates #92: by dependabot bot
October 4, 2024 08:45 42s
October 4, 2024 08:45 42s
Update coq/tested Update coq/tested #1613: Scheduled
October 4, 2024 07:04 17s master
master
October 4, 2024 07:04 17s
CI CI #256: Scheduled
October 3, 2024 09:03 1h 0m 54s master
master
October 3, 2024 09:03 1h 0m 54s
Bump external/iris from 0d08080 to 4871f96 Dependabot auto-merge #61: Pull request #123 opened by dependabot bot
October 3, 2024 08:31 18s dependabot/submodules/external/iris-4871f96
dependabot/submodules/external/iris-4871f96
October 3, 2024 08:31 18s
Bump external/iris from 0d08080 to 4871f96 CI #255: Pull request #123 opened by dependabot bot
October 3, 2024 08:31 59m 45s dependabot/submodules/external/iris-4871f96
dependabot/submodules/external/iris-4871f96
October 3, 2024 08:31 59m 45s
Bump external/stdpp from bc4fce0 to 1fa37d0 CI #254: Pull request #122 opened by dependabot bot
October 3, 2024 08:31 58m 0s dependabot/submodules/external/stdpp-1fa37d0
dependabot/submodules/external/stdpp-1fa37d0
October 3, 2024 08:31 58m 0s
Bump external/stdpp from bc4fce0 to 1fa37d0 Dependabot auto-merge #60: Pull request #122 opened by dependabot bot
October 3, 2024 08:31 15s dependabot/submodules/external/stdpp-1fa37d0
dependabot/submodules/external/stdpp-1fa37d0
October 3, 2024 08:31 15s
submodules in /. - Update #895195276 Dependabot Updates #91: by dependabot bot
October 3, 2024 08:30 57s
October 3, 2024 08:30 57s
Update coq/tested Update coq/tested #1612: Scheduled
October 3, 2024 07:04 15s master
master
October 3, 2024 07:04 15s
Prove top-level paxos spec CI #253: Commit 2ad94af pushed by yunshengtw
October 3, 2024 00:17 59m 31s master
master
October 3, 2024 00:17 59m 31s
Prove third phase of paxos CI #252: Commit 042cf3b pushed by yunshengtw
October 2, 2024 15:53 59m 52s master
master
October 2, 2024 15:53 59m 52s
CI CI #251: Scheduled
October 2, 2024 09:04 1h 1m 52s master
master
October 2, 2024 09:04 1h 1m 52s
submodules in /. - Update #894611742 Dependabot Updates #90: by dependabot bot
October 2, 2024 08:29 39s
October 2, 2024 08:29 39s
Update coq/tested Update coq/tested #1611: Scheduled
October 2, 2024 07:04 17s master
master
October 2, 2024 07:04 17s
github_actions in /. - Update #894194190 Dependabot Updates #89: by dependabot bot
October 1, 2024 17:52 48s
October 1, 2024 17:52 48s
Bump external/iris-named-props from 2bdaf3c to 8621ac3 CI #250: Pull request #121 opened by dependabot bot
October 1, 2024 17:41 59m 6s dependabot/submodules/external/iris-named-props-8621ac3
dependabot/submodules/external/iris-named-props-8621ac3
October 1, 2024 17:41 59m 6s
Bump external/iris-named-props from 2bdaf3c to 8621ac3 Dependabot auto-merge #59: Pull request #121 opened by dependabot bot
October 1, 2024 17:41 11s dependabot/submodules/external/iris-named-props-8621ac3
dependabot/submodules/external/iris-named-props-8621ac3
October 1, 2024 17:41 11s
pip in /. - Update #894187460 Dependabot Updates #88: by dependabot bot
October 1, 2024 17:40 49s
October 1, 2024 17:40 49s
submodules in /. - Update #894187456 Dependabot Updates #87: by dependabot bot
October 1, 2024 17:40 42s
October 1, 2024 17:40 42s
github_actions in /. - Update #894187459 Dependabot Updates #86: by dependabot bot
October 1, 2024 17:40 37s
October 1, 2024 17:40 37s
dependabot: schedule other pkg ecosystems at 4am CI #249: Commit fc72861 pushed by sanjit-bhat
October 1, 2024 17:40 59m 14s master
master
October 1, 2024 17:40 59m 14s
Bump ruff from 0.6.3 to 0.6.8 CI #248: Pull request #120 opened by dependabot bot
October 1, 2024 17:24 1h 0m 3s dependabot/pip/ruff-0.6.8
dependabot/pip/ruff-0.6.8
October 1, 2024 17:24 1h 0m 3s
Bump ruff from 0.6.3 to 0.6.8 Dependabot auto-merge #58: Pull request #120 opened by dependabot bot
October 1, 2024 17:24 12s dependabot/pip/ruff-0.6.8
dependabot/pip/ruff-0.6.8
October 1, 2024 17:24 12s
pip in /. - Update #894176162 Dependabot Updates #85: by dependabot bot
October 1, 2024 17:23 1m 0s
October 1, 2024 17:23 1m 0s