Skip to content

Actions: fplaunchpad/sal

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
734 workflow runs
734 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Correct RGA GC evidence boundary Sal release gate #720: Commit 50e48e2 pushed by kayceesrk
6m 39s main
main
6m 39s
Rebuild papers for LWW register Sal release gate #719: Commit 618182c pushed by kayceesrk
6m 14s main
main
6m 14s
Route dependency edge around diagram nodes Sal release gate #718: Commit 9ad1389 pushed by kayceesrk
7m 4s main
main
7m 4s
Tighten retention proof assumptions Sal release gate #717: Commit eb66848 pushed by kayceesrk
6m 33s main
main
6m 33s
Refine formal reference and state GC coverage Sal release gate #716: Commit 93c7f57 pushed by kayceesrk
7m 3s main
main
7m 3s
Synchronize papers with replay metatheory Sal release gate #715: Commit 608116f pushed by kayceesrk
6m 50s main
main
6m 50s
Add formal MRDT semantics reference Sal release gate #714: Commit 1bab9dc pushed by kayceesrk
6m 47s main
main
6m 47s
Introduce paper terms at point of use Sal release gate #713: Commit 1010647 pushed by kayceesrk
6m 57s main
main
6m 57s
Use one MRDT merge operation Sal release gate #712: Commit 5a49abc pushed by kayceesrk
6m 10s main
main
6m 10s
Use RGA as the paper-facing name Sal release gate #711: Commit 86e4e1a pushed by kayceesrk
5m 29s main
main
5m 29s
Rewrite framework paper as self-contained formal narrative Sal release gate #710: Commit 6fa46bf pushed by kayceesrk
6m 58s main
main
6m 58s
Enforce verified MRDT production packaging Sal release gate #709: Commit e7432ac pushed by kayceesrk
6m 18s main
main
6m 18s
Prove AegisSheet sequential abstraction boundary Sal release gate #708: Commit e6ce628 pushed by kayceesrk
6m 31s main
main
6m 31s
Track AegisSheet sequential abstraction audit Sal release gate #707: Commit 3b2ccab pushed by kayceesrk
6m 19s main
main
6m 19s
Prove AegisSheet merged-history correctness Sal release gate #706: Commit 68c85a4 pushed by kayceesrk
5m 41s main
main
5m 41s
Clarify internal MRDT replay policy Sal release gate #705: Commit af1c3a0 pushed by kayceesrk
7m 7s main
main
7m 7s
Refactor MRDT interaction and sequential correctness API Sal release gate #704: Commit 383e49a pushed by kayceesrk
7m 13s main
main
7m 13s
Complete public MRDT correctness refactor Sal release gate #703: Commit cdde42c pushed by kayceesrk
7m 3s main
main
7m 3s
Rewrite working papers around current MRDT evidence Sal release gate #702: Commit 559665a pushed by kayceesrk
6m 43s main
main
6m 43s
Restore MRDT working papers Sal release gate #701: Commit f3be83c pushed by kayceesrk
7m 14s main
main
7m 14s
Restore MRDT working papers Sal release gate #700: Commit 3c05f68 pushed by kayceesrk
6m 19s main
main
6m 19s
Minimize distributed GC protocol state Sal release gate #699: Commit 5db68f1 pushed by kayceesrk
6m 47s main
main
6m 47s
Make benchmark position accounting fair and repeat paper matrix Sal release gate #698: Commit 6c7886e pushed by kayceesrk
8m 50s main
main
8m 50s
Verify replicated tree moves and garbage collection Sal release gate #697: Commit 0909060 pushed by kayceesrk
6m 53s main
main
6m 53s
Restrict production theory to MRDTs Sal release gate #696: Commit fdc2226 pushed by kayceesrk
7m 41s main
main
7m 41s