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
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 Lean Action CI #27: Commit 02e9915 pushed by amarmaduke
22s main
main
22s
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
add unexpander for subst apply Build the project and deploy to GitHub Pages #17: Commit a5b70b8 pushed by amarmaduke
8m 2s main
main
8m 2s
add unexpander for subst apply Lean Action CI #26: Commit a5b70b8 pushed by amarmaduke
47s main
main
47s
rename ren lift lemma Lean Action CI #25: Commit 987039c pushed by amarmaduke
27s main
main
27s
rename ren lift lemma Build the project and deploy to GitHub Pages #16: Commit 987039c pushed by amarmaduke
6m 42s main
main
6m 42s
rename ren lift lemma Lean Action CI #24: Commit 987039c pushed by amarmaduke
25s experimental
experimental
25s
fix ren promotion simps Lean Action CI #23: Commit ad7eeb3 pushed by amarmaduke
28s experimental
experimental
28s
rethink substmap Lean Action CI #22: Commit 3a6bbd0 pushed by amarmaduke
29s experimental
experimental
29s
work on monad subst action Lean Action CI #21: Commit c7e9531 pushed by amarmaduke
20s experimental
experimental
20s
add coe, tighter notation, arity generic example Build the project and deploy to GitHub Pages #15: Commit 1ff2d6e pushed by amarmaduke
6m 41s main
main
6m 41s
add coe, tighter notation, arity generic example Lean Action CI #20: Commit 1ff2d6e pushed by amarmaduke
32s main
main
32s
add subtype Lean Action CI #19: Commit e87874c pushed by amarmaduke
21s main
main
21s
add subtype Build the project and deploy to GitHub Pages #14: Commit e87874c pushed by amarmaduke
7m 15s main
main
7m 15s
fix md link syntax Lean Action CI #18: Commit 6ccd94d pushed by amarmaduke
20s v0.2
v0.2
20s
fix md link syntax Lean Action CI #17: Commit 6ccd94d pushed by amarmaduke
26s main
main
26s
fix md link syntax Build the project and deploy to GitHub Pages #13: Commit 6ccd94d pushed by amarmaduke
6m 40s main
main
6m 40s
add autosubst doi links Lean Action CI #16: Commit 5120583 pushed by amarmaduke
19s main
main
19s
add autosubst doi links Build the project and deploy to GitHub Pages #12: Commit 5120583 pushed by amarmaduke
5m 38s main
main
5m 38s
add some context in readme Build the project and deploy to GitHub Pages #11: Commit ff8ae05 pushed by amarmaduke
6m 22s main
main
6m 22s
add some context in readme Lean Action CI #15: Commit ff8ae05 pushed by amarmaduke
17s main
main
17s
setup new notation Build the project and deploy to GitHub Pages #10: Commit cc4de27 pushed by amarmaduke
6m 45s main
main
6m 45s
setup new notation Lean Action CI #14: Commit cc4de27 pushed by amarmaduke
29s main
main
29s
fix var_apply_forced implicit Lean Action CI #13: Commit cd7e10b pushed by amarmaduke
27s main
main
27s