Skip to content

Actions: anliki/LeanBlockCourse26

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
100 workflow runs
100 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 Lean Action CI #38: Commit 6fd3c0a pushed by anliki
1m 32s main
main
1m 32s
added P06S01 Deploy GitHub Pages #37: Commit 5f6d581 pushed by anliki
24s main
main
24s
added P06S01 Lean Action CI #37: Commit 5f6d581 pushed by anliki
1m 48s main
main
1m 48s
removed exercise tag Deploy GitHub Pages #36: Commit 9eb84a2 pushed by anliki
25s main
main
25s
removed exercise tag Lean Action CI #36: Commit 9eb84a2 pushed by anliki
2m 26s main
main
2m 26s
added P05S06B01 Deploy GitHub Pages #35: Commit 64278e1 pushed by anliki
25s main
main
25s
added P05S06B01 Lean Action CI #35: Commit 64278e1 pushed by anliki
1m 46s main
main
1m 46s
Added P05S05B01 Deploy GitHub Pages #34: Commit 704841e pushed by anliki
47s main
main
47s
Added P05S05B01 Lean Action CI #34: Commit 704841e pushed by anliki
1m 27s main
main
1m 27s
added simp example exercise Deploy GitHub Pages #33: Commit 86d63bc pushed by anliki
19s main
main
19s
added simp example exercise Lean Action CI #33: Commit 86d63bc pushed by anliki
1m 25s main
main
1m 25s
added calc tactic addendum Deploy GitHub Pages #32: Commit dd7ef67 pushed by anliki
1m 9s main
main
1m 9s
added calc tactic addendum Lean Action CI #32: Commit dd7ef67 pushed by anliki
1m 29s main
main
1m 29s
add P05S03 Multiplication exercises from template Lean Action CI #31: Commit dba4939 pushed by anliki
1m 40s main
main
1m 40s
add P05S03 Multiplication exercises from template Deploy GitHub Pages #31: Commit dba4939 pushed by anliki
24s main
main
24s
Added P05S01 up to B01 Lean Action CI #30: Commit 166e180 pushed by anliki
1m 30s main
main
1m 30s
Added P05S01 up to B01 Deploy GitHub Pages #30: Commit 166e180 pushed by anliki
25s main
main
25s
added completeness stub and propFilter_sound proof Deploy GitHub Pages #29: Commit c59790d pushed by anliki
28s main
main
28s
added completeness stub and propFilter_sound proof Lean Action CI #29: Commit c59790d pushed by anliki
1m 35s main
main
1m 35s
added verified computational example with propFilter_sound exercise Deploy GitHub Pages #28: Commit 99de754 pushed by anliki
22s main
main
22s
added verified computational example with propFilter_sound exercise Lean Action CI #28: Commit 99de754 pushed by anliki
1m 31s main
main
1m 31s
P01: proofread fixes across S04 and S05 Deploy GitHub Pages #27: Commit 37421c7 pushed by anliki
22s main
main
22s
P01: proofread fixes across S04 and S05 Lean Action CI #27: Commit 37421c7 pushed by anliki
1m 32s main
main
1m 32s
addded P03S02 up to B02 Deploy GitHub Pages #26: Commit 759146a pushed by anliki
51s main
main
51s
addded P03S02 up to B02 Lean Action CI #26: Commit 759146a pushed by anliki
1m 51s main
main
1m 51s