Skip to content

Actions: mit-pdos/perennial

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
5,097 workflow runs
5,097 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Qed WaitGroup join Done Commit mailbot #1560: Commit d6b5c41 pushed by upamanyus
1m 16s chan-search-replace-example
chan-search-replace-example
1m 16s
More theory for auth_prop Commit mailbot #1559: Commit e7b380b pushed by upamanyus
1m 14s chan-search-replace-example
chan-search-replace-example
1m 14s
Start join Done proof Commit mailbot #1558: Commit 9b181e7 pushed by upamanyus
1m 0s chan-search-replace-example
chan-search-replace-example
1m 0s
Qed join idiomt wp_WaitGroup__Add Commit mailbot #1557: Commit 97acbbe pushed by upamanyus
1m 17s chan-search-replace-example
chan-search-replace-example
1m 17s
Have two branches in the WaitGroup Add spec to make usage easier Commit mailbot #1556: Commit 423b30a pushed by upamanyus
1m 12s chan-search-replace-example
chan-search-replace-example
1m 12s
Replace defn/chan with calls to the channel model CI #2331: Pull request #422 synchronize by tchajed
1h 56m 50s tchajed/use-channel-model
tchajed/use-channel-model
1h 56m 50s
Replace defn/chan with calls to the channel model Dependabot auto-merge #646: Pull request #422 synchronize by tchajed
1s tchajed/use-channel-model
tchajed/use-channel-model
1s
Use direct calls for channel model Commit mailbot #1555: Commit 51d5acc pushed by tchajed
1m 18s tchajed/use-channel-model
tchajed/use-channel-model
1m 18s
Add laters to foundational waitgroup spec Commit mailbot #1554: Commit 27db315 pushed by upamanyus
1m 19s chan-search-replace-example
chan-search-replace-example
1m 19s
Replace defn/chan with calls to the channel model CI #2330: Pull request #422 opened by tchajed
1h 56m 12s tchajed/use-channel-model
tchajed/use-channel-model
1h 56m 12s
Replace defn/chan with calls to the channel model Dependabot auto-merge #645: Pull request #422 opened by tchajed
2s tchajed/use-channel-model
tchajed/use-channel-model
2s
State protocol specs over defn/chan Commit mailbot #1553: Commit ae72a3d pushed by tchajed
1m 28s tchajed/use-channel-model
tchajed/use-channel-model
1m 28s
CI CI #2329: Scheduled
1h 56m 24s master
master
1h 56m 24s
submodules in /. - Update #1136547909 Dependabot Updates #458: by dependabot bot
40s master
master
40s
Update coq/tested Update coq/tested #2008: Scheduled
11s master
master
11s
Prove Add modulo problems with lower-level spec Commit mailbot #1552: Commit 46e719b pushed by upamanyus
1m 11s chan-search-replace-example
chan-search-replace-example
1m 11s
Prove auth prop frag combining Commit mailbot #1551: Commit 505dffb pushed by upamanyus
1m 19s chan-search-replace-example
chan-search-replace-example
1m 19s
Start auth_prop library Commit mailbot #1550: Commit d4a143c pushed by upamanyus
1m 25s chan-search-replace-example
chan-search-replace-example
1m 25s
rm iNames from serde; too low-level Commit mailbot #1549: Commit f46e76b pushed by sanjit-bhat
1m 29s master
master
1m 29s
rm iNames from serde; too low-level CI #2328: Commit f46e76b pushed by sanjit-bhat
1h 53m 49s master
master
1h 53m 49s
upstream as_dfrac_pers from upamanyus-fixes Commit mailbot #1548: Commit 26dfe73 pushed by sanjit-bhat
1m 21s master
master
1m 21s
upstream as_dfrac_pers from upamanyus-fixes CI #2327: Commit 26dfe73 pushed by sanjit-bhat
1h 56m 2s master
master
1h 56m 2s
Checkpoint Commit mailbot #1547: Commit 76a31be pushed by upamanyus
1m 11s upamanyus-fixes
upamanyus-fixes
1m 11s
Updated DSP specs and proofs (#407) Commit mailbot #1546: Commit a972351 pushed by tchajed
1m 0s master
master
1m 0s
Updated DSP specs and proofs (#407) CI #2326: Commit a972351 pushed by tchajed
1h 56m 36s master
master
1h 56m 36s