Skip to content

Actions: amarmaduke/lean-subst

Actions

Build the project and deploy to GitHub Pages

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build-and-deploy.yml
42 workflow runs
42 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 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
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 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 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 Build the project and deploy to GitHub Pages #36: Commit ea6266f pushed by amarmaduke
7m 34s main
main
7m 34s
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 Build the project and deploy to GitHub Pages #34: Commit 05d5435 pushed by amarmaduke
7m 42s main
main
7m 42s
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
refactor Build the project and deploy to GitHub Pages #31: Commit 100f3cf pushed by amarmaduke
7m 47s main
main
7m 47s
remove ctx, generalize to list Build the project and deploy to GitHub Pages #30: Commit b4c6121 pushed by amarmaduke
7m 27s main
main
7m 27s
fix lambda calc example Build the project and deploy to GitHub Pages #29: Commit 311c1c4 pushed by amarmaduke
7m 45s main
main
7m 45s
bikeshed solve macros Build the project and deploy to GitHub Pages #28: Commit 5654abc pushed by amarmaduke
24s main
main
24s
add macros, fix a simp and namespaces Build the project and deploy to GitHub Pages #27: Commit 8afaacc pushed by amarmaduke
7m 47s main
main
7m 47s
add hetero subst laws Build the project and deploy to GitHub Pages #26: Commit c13272c pushed by amarmaduke
7m 38s main
main
7m 38s
fix hcomp and stable Build the project and deploy to GitHub Pages #25: Commit 74a3238 pushed by amarmaduke
27s main
main
27s
experiment with hetero subst Build the project and deploy to GitHub Pages #24: Commit b6d7c59 pushed by amarmaduke
8m 2s main
main
8m 2s
add arity mk cong thms Build the project and deploy to GitHub Pages #23: Commit b7e0ef9 pushed by amarmaduke
7m 39s main
main
7m 39s
unfortunately its worse, revert Build the project and deploy to GitHub Pages #22: Commit 57e546b pushed by amarmaduke
7m 56s main
main
7m 56s
change simp direction of mk eta Build the project and deploy to GitHub Pages #21: Commit 3d84c8c pushed by amarmaduke
7m 32s main
main
7m 32s
add mk eta thms Build the project and deploy to GitHub Pages #20: Commit 8da67cb pushed by amarmaduke
7m 58s main
main
7m 58s
add ctx, arity ctors, pred subst Build the project and deploy to GitHub Pages #19: Commit 33a71bf pushed by amarmaduke
7m 57s main
main
7m 57s
export action re and su Build the project and deploy to GitHub Pages #18: Commit 02e9915 pushed by amarmaduke
7m 29s main
main
7m 29s