Skip to content

Actions: klavins/LeanW26

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
46 workflow runs
46 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 GNU General Public License version 3 Deploy to GitHub Pages #6: Commit 13507e9 pushed by klavins
17s main
main
17s
removed unfinished slide decks from TOC Deploy to GitHub Pages #5: Commit 07a0def pushed by klavins
17s main
main
17s
debugging deploy Deploy to GitHub Pages #4: Commit 51fbc9c pushed by klavins
17s main
main
17s
Fix Pages deploy: include node_modules in dist Deploy to GitHub Pages #3: Commit 4454ab7 pushed by klavins
15s main
main
15s
Add dist node_modules dependencies for GitHub Pages Deploy to GitHub Pages #2: Commit b6a7664 pushed by klavins
22s main
main
22s
Add GitHub Pages deployment workflow Deploy to GitHub Pages #1: Commit 016d378 pushed by klavins
24s main
main
24s
Fix subverso highlighting: add script tag, fix source files, use sequ… Lean Action CI #38: Commit f436e76 pushed by klavins
1h 36m 0s subverso-fixes
subverso-fixes
1h 36m 0s
actually use subverso highlighting Lean Action CI #37: Commit 92c36a2 pushed by klavins
9m 32s subverso-fixes
subverso-fixes
9m 32s
more algebra Create Release #2: Commit 845f19d pushed by klavins
12s main
main
12s
fixed errors in I_2 Lean Action CI #36: Commit c59403a pushed by klavins
9m 26s main
main
9m 26s
cleanup before lec 1 Lean Action CI #35: Commit 9c5f8f1 pushed by klavins
9m 6s main
main
9m 6s
cleanup before lec 1 Lean Action CI #34: Commit 19a44e5 pushed by klavins
9m 49s main
main
9m 49s
saving work Lean Action CI #33: Commit 02921fa pushed by klavins
9m 5s main
main
9m 5s
intro + lean changes Lean Action CI #32: Commit 29a618e pushed by klavins
9m 14s main
main
9m 14s
prop logic Lean Action CI #31: Commit a8240ab pushed by klavins
9m 49s main
main
9m 49s
logic Lean Action CI #30: Commit a429a0e pushed by klavins
9m 11s main
main
9m 11s
logic Lean Action CI #29: Commit 2faedf9 pushed by klavins
1m 50s main
main
1m 50s
titles Lean Action CI #28: Commit 0b2608f pushed by klavins
2m 5s main
main
2m 5s
saving Lean Action CI #27: Commit f4f8127 pushed by klavins
1m 49s main
main
1m 49s
minor changes Lean Action CI #26: Commit 8731f57 pushed by klavins
1m 49s main
main
1m 49s
type inference Lean Action CI #25: Commit 65ba5b3 pushed by klavins
1m 50s main
main
1m 50s
saving Lean Action CI #24: Commit 4a7dd87 pushed by klavins
1m 58s main
main
1m 58s
inductive types and type classes Lean Action CI #23: Commit 241b3fc pushed by klavins
2m 6s main
main
2m 6s
exercises for stlc Lean Action CI #22: Commit afb9b79 pushed by klavins
1m 46s main
main
1m 46s
lots of changes Lean Action CI #21: Commit c4f4115 pushed by klavins
1m 44s main
main
1m 44s