Skip to content

Actions: leonie1411/LeanBlockCourse26

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
113 workflow runs
113 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
completed B01 Lean Action CI #44: Commit 7cc0af2 pushed by leonie1411
1m 12s main
main
1m 12s
completed B01 Deploy GitHub Pages #44: Commit 7cc0af2 pushed by leonie1411
29s main
main
29s
Added tempaltes for S05, S06, and S07 for P05 Deploy GitHub Pages #43: Commit 78a84e3 pushed by leonie1411
35s main
main
35s
Added tempaltes for S05, S06, and S07 for P05 Lean Action CI #43: Commit 78a84e3 pushed by leonie1411
1m 11s main
main
1m 11s
added simp tactic info and B02 Deploy GitHub Pages #42: Commit 3605f80 pushed by leonie1411
27s main
main
27s
added simp tactic info and B02 Lean Action CI #42: Commit 3605f80 pushed by leonie1411
1m 27s main
main
1m 27s
added simp example exercise Deploy GitHub Pages #41: Commit 86d63bc pushed by leonie1411
29s main
main
29s
added simp example exercise Lean Action CI #41: Commit 86d63bc pushed by leonie1411
1m 38s main
main
1m 38s
added calc tactic addendum Lean Action CI #40: Commit dd7ef67 pushed by leonie1411
1m 31s main
main
1m 31s
added calc tactic addendum Deploy GitHub Pages #40: Commit dd7ef67 pushed by leonie1411
22s main
main
22s
added bonus question Deploy GitHub Pages #39: Commit 5364b6d pushed by leonie1411
25s main
main
25s
added bonus question Lean Action CI #39: Commit 5364b6d pushed by leonie1411
1m 29s main
main
1m 29s
Added addition solutions and messed up the multiplication file Deploy GitHub Pages #38: Commit c321fe5 pushed by leonie1411
27s main
main
27s
Added addition solutions and messed up the multiplication file Lean Action CI #38: Commit c321fe5 pushed by leonie1411
1m 43s main
main
1m 43s
add P05S03 Multiplication exercises from template Lean Action CI #37: Commit dba4939 pushed by leonie1411
1m 28s main
main
1m 28s
add P05S03 Multiplication exercises from template Deploy GitHub Pages #37: Commit dba4939 pushed by leonie1411
39s main
main
39s
added P05S02 up to B02 Lean Action CI #36: Commit 09ca81a pushed by leonie1411
1m 38s main
main
1m 38s
added P05S02 up to B02 Deploy GitHub Pages #36: Commit 09ca81a pushed by leonie1411
53s main
main
53s
fix: consistent formatting and typos across P01–P05 Lean Action CI #35: Commit 2085f9d pushed by leonie1411
1m 52s main
main
1m 52s
fix: consistent formatting and typos across P01–P05 Deploy GitHub Pages #35: Commit 2085f9d pushed by leonie1411
25s main
main
25s
added P05S02 up to B01 Lean Action CI #34: Commit 10e959d pushed by leonie1411
2m 37s main
main
2m 37s
added P05S02 up to B01 Deploy GitHub Pages #34: Commit 10e959d pushed by leonie1411
26s main
main
26s
added ninth peano axiom as an exercise to B03 Deploy GitHub Pages #33: Commit 7d3d935 pushed by leonie1411
29s main
main
29s
added ninth peano axiom as an exercise to B03 Lean Action CI #33: Commit 7d3d935 pushed by leonie1411
1m 56s main
main
1m 56s
added P05S01 up to B02 Deploy GitHub Pages #32: Commit 36a2353 pushed by leonie1411
35s main
main
35s