Skip to content

Actions: amarmaduke/lean-subst

Actions

Lean Action CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lean_action_ci.yml
54 workflow runs
54 workflow runs

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
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
fix examples Lean Action CI #51: Commit c470f5d pushed by amarmaduke
26s main
main
26s
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
add lift k laws Lean Action CI #48: Commit ea6266f pushed by amarmaduke
28s main
main
28s
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
cleanup readme and examples Lean Action CI #44: Commit 05d5435 pushed by amarmaduke
22s v0.3
v0.3
22s
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 list/option laws and misc Lean Action CI #41: Commit 49a61b2 pushed by amarmaduke
24s main
main
24s
refactor Lean Action CI #40: Commit 100f3cf pushed by amarmaduke
28s main
main
28s
remove ctx, generalize to list Lean Action CI #39: Commit b4c6121 pushed by amarmaduke
30s main
main
30s
fix lambda calc example Lean Action CI #38: Commit 311c1c4 pushed by amarmaduke
25s main
main
25s
bikeshed solve macros Lean Action CI #37: Commit 5654abc pushed by amarmaduke
22s main
main
22s
add macros, fix a simp and namespaces Lean Action CI #36: Commit 8afaacc pushed by amarmaduke
28s main
main
28s
add hetero subst laws Lean Action CI #35: Commit c13272c pushed by amarmaduke
23s main
main
23s
fix hcomp and stable Lean Action CI #34: Commit 74a3238 pushed by amarmaduke
27s main
main
27s
experiment with hetero subst Lean Action CI #33: Commit b6d7c59 pushed by amarmaduke
33s main
main
33s
add arity mk cong thms Lean Action CI #32: Commit b7e0ef9 pushed by amarmaduke
22s main
main
22s
unfortunately its worse, revert Lean Action CI #31: Commit 57e546b pushed by amarmaduke
24s main
main
24s
change simp direction of mk eta Lean Action CI #30: Commit 3d84c8c pushed by amarmaduke
26s main
main
26s