Skip to content

Actions: fplaunchpad/sal

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
171 workflow runs
171 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
paper(emulation): final consistency pass Lean Action CI #159: Commit c2e4480 pushed by kayceesrk
4h 19m 40s main
main
4h 19m 40s
paper(emulation): document all 5 added VCs (fields 25-29) Lean Action CI #158: Commit 8cc1f5b pushed by kayceesrk
4h 0m 36s main
main
4h 0m 36s
paper(emulation): refresh abstract to match contributions / status table Lean Action CI #157: Commit c9c19bb pushed by kayceesrk
4h 18m 6s main
main
4h 18m 6s
paper(emulation): refresh status to current Lean state + Aristotle ca… Lean Action CI #156: Commit 03f461c pushed by kayceesrk
4h 20m 10s main
main
4h 20m 10s
emulation(merge): Aristotle closes 3/7 sorries via forward-closure hoist Lean Action CI #155: Commit d9dbd62 pushed by kayceesrk
4h 16m 49s main
main
4h 16m 49s
emulation(merge): Aristotle decomposes Case 3b into 4 sub-cases Lean Action CI #154: Commit bd805eb pushed by kayceesrk
11s main
main
11s
plan(emulation): record 29-VC growth and Aristotle-driven shared closes Lean Action CI #153: Commit f5b55bc pushed by kayceesrk
4h 14m 35s main
main
4h 14m 35s
paper(emulation): document 29th VC shared_peel_1op Lean Action CI #152: Commit 48a7941 pushed by kayceesrk
4h 14m 13s main
main
4h 14m 13s
emulation: add shared_peel_1op as 29th VC; close merge_peel_shared Lean Action CI #151: Commit e660a02 pushed by kayceesrk
4h 13m 38s main
main
4h 13m 38s
emulation(merge): Aristotle decomposes merge_peel_shared into helpers Lean Action CI #150: Commit 4c2328d pushed by kayceesrk
3h 25m 25s main
main
3h 25m 25s
emulation(merge): Aristotle partial close on Case 3a-shared-e₁ Lean Action CI #149: Commit 7a7ef43 pushed by kayceesrk
4h 13m 58s main
main
4h 13m 58s
emulation(merge): Aristotle partial close on Case 3a-shared-e₂ Lean Action CI #148: Commit ca4f9b9 pushed by kayceesrk
4h 20m 5s main
main
4h 20m 5s
emulation(merge): document distinct_last_case sorries as forward-clos… Lean Action CI #147: Commit acfa8d4 pushed by kayceesrk
4h 13m 26s main
main
4h 13m 26s
plan(emulation): record full close of Lemma 1 (both parts) Lean Action CI #146: Commit f9749c7 pushed by kayceesrk
4h 15m 9s main
main
4h 15m 9s
emulation(merge): Aristotle closes residual no_lo_a_to_b sub-case Lean Action CI #145: Commit 15befe8 pushed by kayceesrk
4h 13m 45s main
main
4h 13m 45s
emulation(merge): Aristotle closes 11/12 sub-cases of no_lo_a_to_b de… Lean Action CI #144: Commit b63afae pushed by kayceesrk
4h 26m 38s main
main
4h 26m 38s
plan(emulation): record Aristotle's Lemma 1 part 2 close Lean Action CI #143: Commit c67a8b5 pushed by kayceesrk
4h 31m 50s main
main
4h 31m 50s
emulation(merge): Aristotle closes no_lo_top_a_to_top_b Lean Action CI #142: Commit d8a20dc pushed by kayceesrk
4h 16m 28s main
main
4h 16m 28s
paper(emulation): refresh status sections to match current Lean state Lean Action CI #141: Commit d077e13 pushed by kayceesrk
4h 24m 53s main
main
4h 24m 53s
demos: fix missing space after <strong>read-side projection</strong> Lean Action CI #140: Commit 97a49f5 pushed by kayceesrk
4h 20m 38s main
main
4h 20m 38s
demos: fix missing space after <strong>read-side projection</strong> Deploy CRDT demos to GitHub Pages #12: Commit 97a49f5 pushed by kayceesrk
46s main
main
46s
demos: expand landing page with project intro Deploy CRDT demos to GitHub Pages #11: Commit 68df596 pushed by kayceesrk
47s main
main
47s
demos: expand landing page with project intro Lean Action CI #139: Commit 68df596 pushed by kayceesrk
4h 17m 9s main
main
4h 17m 9s
emulation(merge): partial close on no_lo_top_a_to_top_b Lean Action CI #138: Commit 7742ed2 pushed by kayceesrk
4h 32m 31s main
main
4h 32m 31s
emulation(merge): close depth-1 sub-cases of Lemma 1 part (1) Lean Action CI #137: Commit 59cd5e2 pushed by kayceesrk
4h 21m 41s main
main
4h 21m 41s