Skip to content

Actions: artulean/LeanBlockCourse26

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
86 workflow runs
86 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
added P03S01 up to B01 Lean Action CI #18: Commit 5b3dcbe pushed by artulean
1m 28s main
main
1m 28s
added P03S01 up to B01 Deploy GitHub Pages #18: Commit 5b3dcbe pushed by artulean
22s main
main
22s
S05: fix syntax errors in exercise solutions Deploy GitHub Pages #17: Commit 666a7de pushed by artulean
24s main
main
24s
S05: fix syntax errors in exercise solutions Lean Action CI #17: Commit 666a7de pushed by artulean
1m 31s main
main
1m 31s
Added P02S05 up to B01 Deploy GitHub Pages #16: Commit 3840aa6 pushed by artulean
23s main
main
23s
Added P02S05 up to B01 Lean Action CI #16: Commit 3840aa6 pushed by artulean
1m 44s main
main
1m 44s
filled in B02 Lean Action CI #15: Commit eb4b514 pushed by artulean
1m 22s main
main
1m 22s
filled in B02 Deploy GitHub Pages #15: Commit eb4b514 pushed by artulean
22s main
main
22s
P02S04 up to B02 Lean Action CI #14: Commit 1dec502 pushed by artulean
1m 28s main
main
1m 28s
P02S04 up to B02 Deploy GitHub Pages #14: Commit 1dec502 pushed by artulean
53s main
main
53s
announce afternoon session starts 14:10 Deploy GitHub Pages #13: Commit 0709671 pushed by artulean
25s main
main
25s
announce afternoon session starts 14:10 Lean Action CI #13: Commit 0709671 pushed by artulean
1m 28s main
main
1m 28s
Added P02S04 up to B01 Lean Action CI #12: Commit a97141f pushed by artulean
1m 37s main
main
1m 37s
Added P02S04 up to B01 Deploy GitHub Pages #12: Commit a97141f pushed by artulean
27s main
main
27s
added P02S03 up to B03 Lean Action CI #11: Commit a3c4c67 pushed by artulean
2m 16s main
main
2m 16s
added P02S03 up to B03 Deploy GitHub Pages #11: Commit a3c4c67 pushed by artulean
41s main
main
41s
fix: use ## heading for exercise block B02 in S03_Connectives Lean Action CI #10: Commit 535431c pushed by artulean
1m 50s main
main
1m 50s
fix: use ## heading for exercise block B02 in S03_Connectives Deploy GitHub Pages #10: Commit 535431c pushed by artulean
31s main
main
31s
Added P02S03 until B02 Deploy GitHub Pages #9: Commit db3feb5 pushed by artulean
28s main
main
28s
Added P02S03 until B02 Lean Action CI #9: Commit db3feb5 pushed by artulean
15m 7s main
main
15m 7s
added P0203 up to B01 Deploy GitHub Pages #8: Commit 3a882d5 pushed by artulean
30s main
main
30s
added P0203 up to B01 Lean Action CI #8: Commit 3a882d5 pushed by artulean
15m 13s main
main
15m 13s
updated P02S02 up to B02 Deploy GitHub Pages #7: Commit 8d0743e pushed by artulean
25s main
main
25s
updated P02S02 up to B02 Lean Action CI #7: Commit 8d0743e pushed by artulean
15m 59s main
main
15m 59s
Added P02S02 up to B01 Deploy GitHub Pages #6: Commit 3f1c6cb pushed by artulean
22s main
main
22s