Skip to content

Actions: akozhevnikova/LeanBlockCourse26

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
14 workflow runs
14 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 P05S01 up to B01 Deploy GitHub Pages #7: Commit 166e180 pushed by akozhevnikova
28s main
main
28s
Added P05S01 up to B01 Lean Action CI #7: Commit 166e180 pushed by akozhevnikova
1m 26s main
main
1m 26s
added verified computational example with propFilter_sound exercise Lean Action CI #6: Commit 99de754 pushed by akozhevnikova
1m 38s main
main
1m 38s
added verified computational example with propFilter_sound exercise Deploy GitHub Pages #6: Commit 99de754 pushed by akozhevnikova
36s main
main
36s
P01: proofread fixes across S04 and S05 Deploy GitHub Pages #5: Commit 37421c7 pushed by akozhevnikova
21s main
main
21s
P01: proofread fixes across S04 and S05 Lean Action CI #5: Commit 37421c7 pushed by akozhevnikova
2m 22s main
main
2m 22s
idk Merge remote-tracking branch 'upstream/main' Lean Action CI #4: Commit 07fb249 pushed by akozhevnikova
15m 55s main
main
15m 55s
idk Merge remote-tracking branch 'upstream/main' Deploy GitHub Pages #4: Commit 07fb249 pushed by akozhevnikova
26s main
main
26s
added P02S01sasha Deploy GitHub Pages #3: Commit dee9704 pushed by akozhevnikova
23s main
main
23s
added P02S01sasha Lean Action CI #3: Commit dee9704 pushed by akozhevnikova
15m 28s main
main
15m 28s
added everything up to and including the stubs for exercise block 4 Deploy GitHub Pages #2: Commit b9b9b0b pushed by akozhevnikova
32s main
main
32s
added everything up to and including the stubs for exercise block 4 Lean Action CI #2: Commit b9b9b0b pushed by akozhevnikova
13m 8s main
main
13m 8s
exercises(P02/S01): add exercise 3.3 combining rw at, ← rw, and symm Lean Action CI #1: Commit e50fd5c pushed by akozhevnikova
15m 56s main
main
15m 56s
exercises(P02/S01): add exercise 3.3 combining rw at, ← rw, and symm Deploy GitHub Pages #1: Commit e50fd5c pushed by akozhevnikova
29s main
main
29s