Skip to content

Actions: amarmaduke/lean-subst

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
148 workflow runs
148 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
wip Lean Action CI #98: Commit 38aff4a pushed by amarmaduke
38s experiment
experiment
38s
Progress towards vector substitutions (#4) Build the project and deploy to GitHub Pages #62: Commit 22090b9 pushed by amarmaduke
1m 39s main
main
1m 39s
Progress towards vector substitutions (#4) Lean Action CI #97: Commit 22090b9 pushed by amarmaduke
39s main
main
39s
Progress towards vector substitutions Lean Action CI #96: Pull request #4 opened by amarmaduke
34s experiment
experiment
34s
Progress towards vector substitutions Build the project and deploy to GitHub Pages #61: Pull request #4 opened by amarmaduke
1m 37s experiment
experiment
1m 37s
wip Lean Action CI #95: Commit a485ad5 pushed by amarmaduke
31s experiment
experiment
31s
wip Lean Action CI #94: Commit 34cf89e pushed by amarmaduke
32s experiment
experiment
32s
wip Lean Action CI #93: Commit 29f654a pushed by amarmaduke
42s experiment
experiment
42s
wip Lean Action CI #92: Commit 4fd9d1d pushed by amarmaduke
2m 9s experiment
experiment
2m 9s
wip Lean Action CI #91: Commit b930f22 pushed by amarmaduke
1m 47s experiment
experiment
1m 47s
wip Lean Action CI #90: Commit 382a7cb pushed by amarmaduke
2m 21s experiment
experiment
2m 21s
wip Lean Action CI #89: Commit 3f9b1c5 pushed by amarmaduke
24s experiment
experiment
24s
wip Lean Action CI #88: Commit 1027b12 pushed by amarmaduke
28s experiment
experiment
28s
wip Lean Action CI #87: Commit 98bf32d pushed by amarmaduke
27s experiment
experiment
27s
wip Lean Action CI #86: Commit 1e8880e pushed by amarmaduke
26s experiment
experiment
26s
wip Lean Action CI #85: Commit f263bd4 pushed by amarmaduke
25s experiment
experiment
25s
type inference experiment Lean Action CI #84: Commit 37551b2 pushed by amarmaduke
23s experiment
experiment
23s
add systemf2 experiment Lean Action CI #83: Commit 39a5217 pushed by amarmaduke
40s experiment
experiment
40s
(wip) vector subst Lean Action CI #82: Commit f692c4e pushed by amarmaduke
32s experiment
experiment
32s
fix macro for stable Lean Action CI #81: Commit 7712e15 pushed by amarmaduke
29s main
main
29s
fix macro for stable Build the project and deploy to GitHub Pages #60: Commit 7712e15 pushed by amarmaduke
9m 31s main
main
9m 31s
Lemmas (#3) Build the project and deploy to GitHub Pages #59: Commit 144dff2 pushed by amarmaduke
26s main
main
26s
Lemmas (#3) Lean Action CI #80: Commit 144dff2 pushed by amarmaduke
32s main
main
32s
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