Skip to content

Actions: amarmaduke/lean-subst

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
125 workflow runs
125 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 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
wip Lean Action CI #60: Commit 59e78c0 pushed by amarmaduke
18s reorg
reorg
18s
wip Lean Action CI #59: Commit 8d645dd pushed by amarmaduke
22s reorg
reorg
22s
fix includes and add notation names Lean Action CI #58: Commit 705cab3 pushed by amarmaduke
23s main
main
23s
fix includes and add notation names Build the project and deploy to GitHub Pages #46: Commit 705cab3 pushed by amarmaduke
8m 30s main
main
8m 30s
add heterogenous renamings Lean Action CI #57: Commit e76be2e pushed by amarmaduke
29s main
main
29s
add heterogenous renamings Build the project and deploy to GitHub Pages #45: Commit e76be2e pushed by amarmaduke
8m 19s main
main
8m 19s