Skip to content

Actions: rickyjreyes/wct-lean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
186 workflow runs
186 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
Remove one-shot release workflow Lean formal reproducibility #152: Commit a86254b pushed by rickyjreyes
2m 35s main
main
2m 35s
Create September formal-upgrades release Create formal-upgrades release #1: Commit 2f81586 pushed by rickyjreyes
7s main
main
7s
Create September formal-upgrades release Lean formal reproducibility #151: Commit 2f81586 pushed by rickyjreyes
2m 53s main
main
2m 53s
Merge September WCT formal upgrades Lean formal reproducibility #150: Commit d38be87 pushed by rickyjreyes
2m 48s main
main
2m 48s
Merge September WCT formal upgrades Lean container CI #27: Commit d38be87 pushed by rickyjreyes
14m 12s main
main
14m 12s
Formalize September WCT algebraic upgrades Lean container CI #26: Pull request #16 synchronize by rickyjreyes
3m 42s agent/formal-upgrades-2026-09-11
agent/formal-upgrades-2026-09-11
3m 42s
Formalize September WCT algebraic upgrades Lean formal reproducibility #149: Pull request #16 synchronize by rickyjreyes
2m 36s agent/formal-upgrades-2026-09-11
agent/formal-upgrades-2026-09-11
2m 36s
Formalize September WCT algebraic upgrades Lean formal reproducibility #148: Pull request #16 synchronize by rickyjreyes
2m 39s agent/formal-upgrades-2026-09-11
agent/formal-upgrades-2026-09-11
2m 39s
Formalize September WCT algebraic upgrades Lean container CI #25: Pull request #16 synchronize by rickyjreyes
3m 30s agent/formal-upgrades-2026-09-11
agent/formal-upgrades-2026-09-11
3m 30s
Formalize September WCT algebraic upgrades Lean container CI #24: Pull request #16 opened by rickyjreyes
39s agent/formal-upgrades-2026-09-11
agent/formal-upgrades-2026-09-11
39s
Formalize September WCT algebraic upgrades Lean formal reproducibility #147: Pull request #16 opened by rickyjreyes
2m 46s agent/formal-upgrades-2026-09-11
agent/formal-upgrades-2026-09-11
2m 46s
Merge pull request #15 from rickyjreyes/agent/closure-formalization-b… Lean formal reproducibility #146: Commit ac7c59d pushed by rickyjreyes
3m 4s main
main
3m 4s
Merge pull request #15 from rickyjreyes/agent/closure-formalization-b… Lean container CI #23: Commit ac7c59d pushed by rickyjreyes
3m 38s main
main
3m 38s
Formalize closure, DSI, and contraction identities Lean formal reproducibility #145: Pull request #15 synchronize by rickyjreyes
2m 43s agent/closure-formalization-batch
agent/closure-formalization-batch
2m 43s
Formalize closure, DSI, and contraction identities Lean container CI #22: Pull request #15 synchronize by rickyjreyes
3m 12s agent/closure-formalization-batch
agent/closure-formalization-batch
3m 12s
Formalize closure, DSI, and contraction identities Lean container CI #21: Pull request #15 opened by rickyjreyes
3m 10s agent/closure-formalization-batch
agent/closure-formalization-batch
3m 10s
Formalize closure, DSI, and contraction identities Lean formal reproducibility #144: Pull request #15 opened by rickyjreyes
2m 40s agent/closure-formalization-batch
agent/closure-formalization-batch
2m 40s
Merge pull request #14 from rickyjreyes/agent/sync-public-80-readme Lean formal reproducibility #143: Commit 3037dc9 pushed by rickyjreyes
2m 49s main
main
2m 49s
Synchronize public README to 80-ID coverage Lean formal reproducibility #142: Pull request #14 synchronize by rickyjreyes
2m 35s agent/sync-public-80-readme
agent/sync-public-80-readme
2m 35s
Synchronize public README to 80-ID coverage Lean formal reproducibility #140: Pull request #14 synchronize by rickyjreyes
2m 45s agent/sync-public-80-readme
agent/sync-public-80-readme
2m 45s
Add one-shot formal index sync Sync formal coverage index #1: Commit 22e2d1d pushed by rickyjreyes
8s agent/sync-public-80-readme
agent/sync-public-80-readme
8s
Synchronize public README to 80-ID coverage Lean formal reproducibility #139: Pull request #14 opened by rickyjreyes
2m 39s agent/sync-public-80-readme
agent/sync-public-80-readme
2m 39s
Trigger public Lean README sync Sync public Lean README #2: Commit 7f2fea1 pushed by rickyjreyes
8s agent/sync-public-80-readme
agent/sync-public-80-readme
8s
Add one-shot public README sync Sync public Lean README #1: Commit 58171aa pushed by rickyjreyes
9s agent/sync-public-80-readme
agent/sync-public-80-readme
9s
Expand formal coverage from 62 to 80 canonical IDs Lean container CI #20: Commit 53b4e02 pushed by rickyjreyes
3m 16s main
main
3m 16s