Skip to content

Actions: mit-pdos/perennial

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update coq/tested Update coq/tested #1646: Scheduled
November 6, 2024 07:04 14s master
master
November 6, 2024 07:04 14s
qed adtr GS versions of all msv lemmas CI #382: Commit 1d743f4 pushed by sanjit-bhat
November 5, 2024 16:44 58m 21s master
master
November 5, 2024 16:44 58m 21s
submodules in /. - Update #912055067 Dependabot Updates #117: by dependabot bot
November 5, 2024 09:36 45s
November 5, 2024 09:36 45s
CI CI #381: Scheduled
November 5, 2024 09:03 57m 44s master
master
November 5, 2024 09:03 57m 44s
Update coq/tested Update coq/tested #1645: Scheduled
November 5, 2024 07:04 15s master
master
November 5, 2024 07:04 15s
qed hist_audit_msv. lots of changes. bound the hist bounds. add hist … CI #380: Commit f8c749b pushed by sanjit-bhat
November 4, 2024 17:46 58m 34s master
master
November 4, 2024 17:46 58m 34s
submodules in /. - Update #911235713 Dependabot Updates #116: by dependabot bot
November 4, 2024 09:45 55s
November 4, 2024 09:45 55s
CI CI #379: Scheduled
November 4, 2024 09:04 58m 20s master
master
November 4, 2024 09:04 58m 20s
Update coq/tested Update coq/tested #1644: Scheduled
November 4, 2024 07:04 15s master
master
November 4, 2024 07:04 15s
Prove invariance w.r.t. unprepare CI #378: Commit ab368a9 pushed by yunshengtw
November 4, 2024 02:51 57m 17s master
master
November 4, 2024 02:51 57m 17s
CI CI #377: Scheduled
November 3, 2024 09:04 57m 5s master
master
November 3, 2024 09:04 57m 5s
Update coq/tested Update coq/tested #1643: Scheduled
November 3, 2024 07:04 17s master
master
November 3, 2024 07:04 17s
Formalize stability as a special case of fpaxos CI #376: Commit 0f21fb9 pushed by yunshengtw
November 2, 2024 19:27 57m 9s master
master
November 2, 2024 19:27 57m 9s
CI CI #375: Scheduled
November 2, 2024 09:03 58m 34s master
master
November 2, 2024 09:03 58m 34s
Update coq/tested Update coq/tested #1642: Scheduled
November 2, 2024 07:04 15s master
master
November 2, 2024 07:04 15s
chkpt hist_audit_msv proof. switch to more useful client.Audit postcond CI #374: Commit fda28ed pushed by sanjit-bhat
November 1, 2024 20:04 57m 57s master
master
November 1, 2024 20:04 57m 57s
CI CI #373: Scheduled
November 1, 2024 09:04 58m 23s master
master
November 1, 2024 09:04 58m 23s
github_actions in /. - Update #910189689 Dependabot Updates #115: by dependabot bot
November 1, 2024 08:50 49s
November 1, 2024 08:50 49s
submodules in /. - Update #910180459 Dependabot Updates #114: by dependabot bot
November 1, 2024 08:37 45s
November 1, 2024 08:37 45s
Bump ruff from 0.6.9 to 0.7.1 Dependabot auto-merge #71: Pull request #133 opened by dependabot bot
November 1, 2024 08:15 14s dependabot/pip/ruff-0.7.1
dependabot/pip/ruff-0.7.1
November 1, 2024 08:15 14s
Bump ruff from 0.6.9 to 0.7.1 CI #372: Pull request #133 opened by dependabot bot
November 1, 2024 08:15 57m 36s dependabot/pip/ruff-0.7.1
dependabot/pip/ruff-0.7.1
November 1, 2024 08:15 57m 36s
pip in /. - Update #910164373 Dependabot Updates #113: by dependabot bot
November 1, 2024 08:14 1m 5s
November 1, 2024 08:14 1m 5s
Update coq/tested Update coq/tested #1641: Scheduled
November 1, 2024 07:04 17s master
master
November 1, 2024 07:04 17s
qed hist_extend_selfmon. rm logical hist and explicitly use phys, sin… CI #371: Commit ff63902 pushed by sanjit-bhat
October 31, 2024 23:56 58m 23s master
master
October 31, 2024 23:56 58m 23s
chkpt partial proof hist_extend_selfmon. phys and logic hist need to … CI #370: Commit fef581b pushed by sanjit-bhat
October 31, 2024 17:56 58m 38s master
master
October 31, 2024 17:56 58m 38s