Skip to content

Actions: yingalexander4-stack/LeanBlockCourse26

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
118 workflow runs
118 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: consistent formatting and typos across P01–P05 Lean Action CI #34: Commit 2085f9d pushed by yingalexander4-stack
1m 37s main
main
1m 37s
fix: consistent formatting and typos across P01–P05 Deploy GitHub Pages #34: Commit 2085f9d pushed by yingalexander4-stack
40s main
main
40s
added P05S02 up to B01 Lean Action CI #33: Commit 10e959d pushed by yingalexander4-stack
1m 27s main
main
1m 27s
added P05S02 up to B01 Deploy GitHub Pages #33: Commit 10e959d pushed by yingalexander4-stack
21s main
main
21s
added imports and P05S02 empty file Lean Action CI #32: Commit e5baf82 pushed by yingalexander4-stack
2m 36s main
main
2m 36s
added imports and P05S02 empty file Deploy GitHub Pages #32: Commit e5baf82 pushed by yingalexander4-stack
44s main
main
44s
added ninth peano axiom as an exercise to B03 Deploy GitHub Pages #31: Commit 7d3d935 pushed by yingalexander4-stack
24s main
main
24s
added ninth peano axiom as an exercise to B03 Lean Action CI #31: Commit 7d3d935 pushed by yingalexander4-stack
1m 24s main
main
1m 24s
added P05S01 up to B02 Lean Action CI #30: Commit 36a2353 pushed by yingalexander4-stack
2m 2s main
main
2m 2s
added P05S01 up to B02 Deploy GitHub Pages #30: Commit 36a2353 pushed by yingalexander4-stack
28s main
main
28s
refactor(p03,p04): align main imports and type theory materials Deploy GitHub Pages #29: Commit 8ae0f44 pushed by yingalexander4-stack
26s main
main
26s
refactor(p03,p04): align main imports and type theory materials Lean Action CI #29: Commit 8ae0f44 pushed by yingalexander4-stack
1m 30s main
main
1m 30s
Added P05S01 up to B01 Lean Action CI #28: Commit 166e180 pushed by yingalexander4-stack
1m 44s main
main
1m 44s
Added P05S01 up to B01 Deploy GitHub Pages #28: Commit 166e180 pushed by yingalexander4-stack
27s main
main
27s
added verified computational example with propFilter_sound exercise Lean Action CI #27: Commit 99de754 pushed by yingalexander4-stack
1m 39s main
main
1m 39s
added verified computational example with propFilter_sound exercise Deploy GitHub Pages #27: Commit 99de754 pushed by yingalexander4-stack
26s main
main
26s
addded P03S02 up to B02 Deploy GitHub Pages #26: Commit 759146a pushed by yingalexander4-stack
54s main
main
54s
addded P03S02 up to B02 Lean Action CI #26: Commit 759146a pushed by yingalexander4-stack
1m 30s main
main
1m 30s
style: lemma → theorem throughout, fix trailing whitespace and double… Lean Action CI #25: Commit 5a99f81 pushed by yingalexander4-stack
1m 43s main
main
1m 43s
style: lemma → theorem throughout, fix trailing whitespace and double… Deploy GitHub Pages #25: Commit 5a99f81 pushed by yingalexander4-stack
22s main
main
22s
added P03S01 up to B01 Lean Action CI #24: Commit fde42b0 pushed by yingalexander4-stack
1m 30s main
main
1m 30s
added P03S01 up to B01 Deploy GitHub Pages #24: Commit fde42b0 pushed by yingalexander4-stack
46s main
main
46s
completed B02 Deploy GitHub Pages #23: Commit 1ed60aa pushed by yingalexander4-stack
26s main
main
26s
completed B02 Lean Action CI #23: Commit 1ed60aa pushed by yingalexander4-stack
1m 41s main
main
1m 41s
added P02S01B02 Lean Action CI #22: Commit e86e412 pushed by yingalexander4-stack
1m 41s main
main
1m 41s