Skip to content

Actions: amarmaduke/lean-subst

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
131 workflow runs
131 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
add systemf2 experiment Lean Action CI #83: Commit 39a5217 pushed by amarmaduke
40s experiment
experiment
40s
(wip) vector subst Lean Action CI #82: Commit f692c4e pushed by amarmaduke
32s experiment
experiment
32s
fix macro for stable Lean Action CI #81: Commit 7712e15 pushed by amarmaduke
29s main
main
29s
fix macro for stable Build the project and deploy to GitHub Pages #60: Commit 7712e15 pushed by amarmaduke
9m 31s main
main
9m 31s
Lemmas (#3) Build the project and deploy to GitHub Pages #59: Commit 144dff2 pushed by amarmaduke
26s main
main
26s
Lemmas (#3) Lean Action CI #80: Commit 144dff2 pushed by amarmaduke
32s main
main
32s
add more misc lemmas Lean Action CI #73: Commit c7feae6 pushed by amarmaduke
22s main
main
22s
add more misc lemmas Build the project and deploy to GitHub Pages #52: Commit c7feae6 pushed by amarmaduke
24s main
main
24s
add misc lemmas Lean Action CI #72: Commit 1a9097c pushed by amarmaduke
21s main
main
21s
add misc lemmas Build the project and deploy to GitHub Pages #51: Commit 1a9097c pushed by amarmaduke
9m 5s main
main
9m 5s
add misc lemmas Lean Action CI #71: Commit 36ad0b6 pushed by amarmaduke
21s append
append
21s
Add append operations and better renaming support (#2) Lean Action CI #70: Commit e70331d pushed by amarmaduke
40s main
main
40s
Add append operations and better renaming support (#2) Build the project and deploy to GitHub Pages #50: Commit e70331d pushed by amarmaduke
7m 40s main
main
7m 40s
Add append operations and better renaming support Build the project and deploy to GitHub Pages #49: Pull request #2 opened by amarmaduke
9m 43s append
append
9m 43s
Add append operations and better renaming support Lean Action CI #69: Pull request #2 opened by amarmaduke
40s append
append
40s
add more renaming bits Lean Action CI #68: Commit 9eaa2e2 pushed by amarmaduke
33s append
append
33s
finish proofs Lean Action CI #67: Commit 3c8dc98 pushed by amarmaduke
28s append
append
28s
wip Lean Action CI #66: Commit 5c301ef pushed by amarmaduke
28s append
append
28s
wip Lean Action CI #65: Commit 1f34914 pushed by amarmaduke
27s append
append
27s
Restructure to make renamings primary (#1) Build the project and deploy to GitHub Pages #48: Commit 9126d76 pushed by amarmaduke
8m 24s main
main
8m 24s
Restructure to make renamings primary (#1) Lean Action CI #64: Commit 9126d76 pushed by amarmaduke
29s main
main
29s
Restructure to make renamings primary Build the project and deploy to GitHub Pages #47: Pull request #1 opened by amarmaduke
8m 35s reorg
reorg
8m 35s
Restructure to make renamings primary Lean Action CI #63: Pull request #1 opened by amarmaduke
28s reorg
reorg
28s
rework laws Lean Action CI #62: Commit 7982bbb pushed by amarmaduke
27s reorg
reorg
27s
wip Lean Action CI #61: Commit bbba96d pushed by amarmaduke
17s reorg
reorg
17s