Skip to content

Actions: onattevfikbilgili/LeanBlockCourse26

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
19 workflow runs
19 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 infinite subtype statement Deploy GitHub Pages #8: Commit 6fd3c0a pushed by onattevfikbilgili
32s main
main
32s
added infinite subtype statement Lean Action CI #11: Commit 6fd3c0a pushed by onattevfikbilgili
2m 8s main
main
2m 8s
P01: proofread fixes across S04 and S05 Deploy GitHub Pages #7: Commit 37421c7 pushed by onattevfikbilgili
22s main
main
22s
P01: proofread fixes across S04 and S05 Lean Action CI #10: Commit 37421c7 pushed by onattevfikbilgili
1m 50s main
main
1m 50s
added P02S03B03 sollutions Lean Action CI #9: Commit 3eabee2 pushed by onattevfikbilgili
2m 14s main
main
2m 14s
added P02S03B03 sollutions Deploy GitHub Pages #6: Commit 3eabee2 pushed by onattevfikbilgili
28s main
main
28s
added everything up to and including the stubs for exercise block 4 Deploy GitHub Pages #5: Commit b9b9b0b pushed by onattevfikbilgili
19s main
main
19s
added everything up to and including the stubs for exercise block 4 Lean Action CI #8: Commit b9b9b0b pushed by onattevfikbilgili
14m 54s main
main
14m 54s
exercises(P02/S01): add exercise 3.3 combining rw at, ← rw, and symm Deploy GitHub Pages #4: Commit e50fd5c pushed by onattevfikbilgili
28s main
main
28s
exercises(P02/S01): add exercise 3.3 combining rw at, ← rw, and symm Lean Action CI #7: Commit e50fd5c pushed by onattevfikbilgili
15m 27s main
main
15m 27s
Added exercise block 3 Deploy GitHub Pages #3: Commit 8f7117c pushed by onattevfikbilgili
21s main
main
21s
Added exercise block 3 Lean Action CI #6: Commit 8f7117c pushed by onattevfikbilgili
15m 10s main
main
15m 10s
docs: link sections to GitHub, list exercises with line links Deploy GitHub Pages #2: Commit 0f3d69c pushed by onattevfikbilgili
34s main
main
34s
docs: link sections to GitHub, list exercises with line links Lean Action CI #5: Commit 0f3d69c pushed by onattevfikbilgili
15m 26s main
main
15m 26s
docs: render slides link as text instead of table Deploy GitHub Pages #1: Commit 9745081 pushed by onattevfikbilgili
29s main
main
29s
docs: render slides link as text instead of table Lean Action CI #4: Commit 9745081 pushed by onattevfikbilgili
15m 25s main
main
15m 25s
added actual exercise statements and two additional Master student ex… Lean Action CI #3: Commit 87faace pushed by onattevfikbilgili
15m 52s main
main
15m 52s
Added Exercise Block 2 for P02S01 Lean Action CI #2: Commit 2cdfe04 pushed by onattevfikbilgili
15m 21s main
main
15m 21s
Added S01_Fundamentals.lean with the first exercise block Lean Action CI #1: Commit 4c669f5 pushed by onattevfikbilgili
16m 2s main
main
16m 2s