Skip to content

Actions: speacky081/LeanBlockCourse26

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
88 workflow runs
88 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
fix(P02/S02): fix typos and clarify suffices wording Deploy GitHub Pages #7: Commit b080232 pushed by speacky081
25s main
main
25s
updated P02S02 up to B02 Deploy GitHub Pages #6: Commit 8d0743e pushed by speacky081
23s main
main
23s
updated P02S02 up to B02 Lean Action CI #6: Commit 8d0743e pushed by speacky081
15m 24s main
main
15m 24s
Added P02S02 up to B01 Deploy GitHub Pages #5: Commit 3f1c6cb pushed by speacky081
26s main
main
26s
Added P02S02 up to B01 Lean Action CI #5: Commit 3f1c6cb pushed by speacky081
16m 38s main
main
16m 38s
docs: split slides upload into separate announcement Lean Action CI #4: Commit 05f4fa1 pushed by speacky081
13m 27s main
main
13m 27s
docs: split slides upload into separate announcement Deploy GitHub Pages #4: Commit 05f4fa1 pushed by speacky081
28s main
main
28s
added everything up to and including the stubs for exercise block 4 Lean Action CI #3: Commit b9b9b0b pushed by speacky081
14m 56s main
main
14m 56s
added everything up to and including the stubs for exercise block 4 Deploy GitHub Pages #3: Commit b9b9b0b pushed by speacky081
25s main
main
25s
Added exercise block 3 Lean Action CI #2: Commit 8f7117c pushed by speacky081
15m 35s main
main
15m 35s
Added exercise block 3 Deploy GitHub Pages #2: Commit 8f7117c pushed by speacky081
22s main
main
22s
introduced revert and rewrite before afternoon break Lean Action CI #1: Commit 7f9d26a pushed by speacky081
16m 35s main
main
16m 35s
introduced revert and rewrite before afternoon break Deploy GitHub Pages #1: Commit 7f9d26a pushed by speacky081
28s main
main
28s