Skip to content

Actions: amarmaduke/lean-subst

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
96 workflow runs
96 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
update lilac Lean Action CI #54: Commit 756ee47 pushed by amarmaduke
28s main
main
28s
update lilac Build the project and deploy to GitHub Pages #42: Commit 756ee47 pushed by amarmaduke
9m 27s main
main
9m 27s
fix docs and examples Build the project and deploy to GitHub Pages #41: Commit 9c9ee0f pushed by amarmaduke
9m 23s main
main
9m 23s
fix docs and examples Lean Action CI #53: Commit 9c9ee0f pushed by amarmaduke
23s main
main
23s
lean version bump Lean Action CI #52: Commit ea85019 pushed by amarmaduke
27s main
main
27s
lean version bump Build the project and deploy to GitHub Pages #40: Commit ea85019 pushed by amarmaduke
1m 12s main
main
1m 12s
fix examples Lean Action CI #51: Commit c470f5d pushed by amarmaduke
26s main
main
26s
fix examples Build the project and deploy to GitHub Pages #39: Commit c470f5d pushed by amarmaduke
7m 23s main
main
7m 23s
improve macro solvers Build the project and deploy to GitHub Pages #38: Commit 1a33969 pushed by amarmaduke
28s main
main
28s
improve macro solvers Lean Action CI #50: Commit 1a33969 pushed by amarmaduke
36s main
main
36s
improve compose macro and renamings Lean Action CI #49: Commit 550e813 pushed by amarmaduke
29s main
main
29s
improve compose macro and renamings Build the project and deploy to GitHub Pages #37: Commit 550e813 pushed by amarmaduke
6m 40s main
main
6m 40s
add lift k laws Lean Action CI #48: Commit ea6266f pushed by amarmaduke
28s main
main
28s
add lift k laws Build the project and deploy to GitHub Pages #36: Commit ea6266f pushed by amarmaduke
7m 34s main
main
7m 34s
add lift k laws Lean Action CI #47: Commit ea6266f pushed by amarmaduke
30s experiment
experiment
30s
experiment with kits Lean Action CI #46: Commit 38ab5aa pushed by amarmaduke
29s experiment
experiment
29s
generalize lift Lean Action CI #45: Commit 1ade351 pushed by amarmaduke
31s main
main
31s
generalize lift Build the project and deploy to GitHub Pages #35: Commit 1ade351 pushed by amarmaduke
7m 51s main
main
7m 51s
cleanup readme and examples Lean Action CI #44: Commit 05d5435 pushed by amarmaduke
22s v0.3
v0.3
22s
cleanup readme and examples Build the project and deploy to GitHub Pages #34: Commit 05d5435 pushed by amarmaduke
7m 42s main
main
7m 42s
cleanup readme and examples Lean Action CI #43: Commit 05d5435 pushed by amarmaduke
19s main
main
19s
add grind annotations Lean Action CI #42: Commit 1001e7d pushed by amarmaduke
33s main
main
33s
add grind annotations Build the project and deploy to GitHub Pages #33: Commit 1001e7d pushed by amarmaduke
7m 57s main
main
7m 57s
add list/option laws and misc Build the project and deploy to GitHub Pages #32: Commit 49a61b2 pushed by amarmaduke
7m 44s main
main
7m 44s
add list/option laws and misc Lean Action CI #41: Commit 49a61b2 pushed by amarmaduke
24s main
main
24s