Skip to content

Actions: inaciovasquez2020/overlap-rigidity-lean-dev

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
22 workflow runs
22 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Guardrail: enforce single-repo boundary Lean CI #9: Commit e33581b pushed by inaciovasquez2020
21s main
main
21s
Fix PSH: restrict to r-round FO^k; remove invalid saturation claims Lean CI #8: Commit 4483144 pushed by inaciovasquez2020
18s main
main
18s
chore: add canonical license and citation metadata Lean CI #7: Commit 7ec4c6f pushed by inaciovasquez2020
17s main
main
17s
Lean CI Lean CI #6: Manually run by inaciovasquez2020
24s main
main
24s
Lean CI Lean CI #5: Manually run by inaciovasquez2020
26s main
main
26s
ci: remove lakefile.lean (toml-only lake config) Lean CI #4: Commit b664b55 pushed by inaciovasquez2020
22s main
main
22s
ci: add lean-toolchain and lakefile.toml Lean CI #3: Commit ab71641 pushed by inaciovasquez2020
18s main
main
18s
Lean CI Lean CI #2: Manually run by inaciovasquez2020
19s main
main
19s
ci: drop lean-action; explicit elan + lake update/build Lean CI #1: Commit 582ec66 pushed by inaciovasquez2020
21s main
main
21s
ci: replace lean-action with explicit lake update/build Lean CI (manual) #13: Commit 586cf9e pushed by inaciovasquez2020
20s main
main
20s
ci: minimal lean-action compliant lake package Lean CI (manual) #12: Commit d97dbd4 pushed by inaciovasquez2020
31s main
main
31s
ci: fix lake roots and add Main target Lean CI (manual) #11: Commit 3b4d250 pushed by inaciovasquez2020
21s main
main
21s
ci: lean-action auto-config + minimal lake package Lean CI (manual) #10: Commit 4276a0f pushed by inaciovasquez2020
18s main
main
18s
ci: minimal Lean package (lakefile + toolchain) for lean-action Lean CI (manual) #9: Commit 2acb249 pushed by inaciovasquez2020
19s main
main
19s
ci: use lean-action auto-config (fix manifest generation) Lean CI (manual) #8: Commit 190889e pushed by inaciovasquez2020
24s main
main
24s
ci: use lean-action auto-config (fix manifest generation) Lean CI (manual) #7: Commit fe163b0 pushed by inaciovasquez2020
20s main
main
20s
ci: add lakefile.lean shim for lean-action compatibility Lean CI (manual) #6: Commit 9b1a48c pushed by inaciovasquez2020
21s main
main
21s
ci: restore lean-toolchain; minimal lake theory build Lean CI (manual) #5: Commit 3d22b36 pushed by inaciovasquez2020
26s main
main
26s
Lean CI (manual) Lean CI (manual) #4: Manually run by inaciovasquez2020
21s main
main
21s
ci: run lake update before build (fix missing manifest) Lean CI (manual) #3: Commit e3088c6 pushed by inaciovasquez2020
18s main
main
18s
Lean CI (manual) Lean CI (manual) #2: Manually run by inaciovasquez2020
24s main
main
24s
init: overlap-rigidity-lean-dev (theory + dev scaffolding) Lean CI (manual) #1: Commit 1a91c65 pushed by inaciovasquez2020
20s main
main
20s