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
Merge pull request #9 from FordUniver/feat/primes-tfae-6-1 Deploy GitHub Pages #47: Commit 8b677b6 pushed by yingalexander4-stack
24s main
main
24s
restore Bohdan / Kimia attribution on 7↔1 (change belongs in PR #7) Deploy GitHub Pages #46: Commit d767d64 pushed by yingalexander4-stack
23s main
main
23s
restore Bohdan / Kimia attribution on 7↔1 (change belongs in PR #7) Lean Action CI #46: Commit d767d64 pushed by yingalexander4-stack
1m 48s main
main
1m 48s
added infinite subtype statement Deploy GitHub Pages #45: Commit 6fd3c0a pushed by yingalexander4-stack
1m 7s main
main
1m 7s
added infinite subtype statement Lean Action CI #45: Commit 6fd3c0a pushed by yingalexander4-stack
2m 55s main
main
2m 55s
added P06S01 Deploy GitHub Pages #44: Commit 5f6d581 pushed by yingalexander4-stack
21s main
main
21s
added P06S01 Lean Action CI #44: Commit 5f6d581 pushed by yingalexander4-stack
1m 36s main
main
1m 36s
added proof of challenging induction and cleaned up zero_zero vs zero… Lean Action CI #43: Commit 2f24073 pushed by yingalexander4-stack
1m 33s main
main
1m 33s
added proof of challenging induction and cleaned up zero_zero vs zero… Deploy GitHub Pages #43: Commit 2f24073 pushed by yingalexander4-stack
24s main
main
24s
removed exercise tag Lean Action CI #42: Commit 9eb84a2 pushed by yingalexander4-stack
1m 37s main
main
1m 37s
removed exercise tag Deploy GitHub Pages #42: Commit 9eb84a2 pushed by yingalexander4-stack
24s main
main
24s
added P05S06B01 Deploy GitHub Pages #41: Commit 64278e1 pushed by yingalexander4-stack
21s main
main
21s
added P05S06B01 Lean Action CI #41: Commit 64278e1 pushed by yingalexander4-stack
1m 47s main
main
1m 47s
completed B01 Lean Action CI #40: Commit 7cc0af2 pushed by yingalexander4-stack
1m 9s main
main
1m 9s
completed B01 Deploy GitHub Pages #40: Commit 7cc0af2 pushed by yingalexander4-stack
29s main
main
29s
Added tempaltes for S05, S06, and S07 for P05 Lean Action CI #39: Commit 78a84e3 pushed by yingalexander4-stack
1m 23s main
main
1m 23s
Added tempaltes for S05, S06, and S07 for P05 Deploy GitHub Pages #39: Commit 78a84e3 pushed by yingalexander4-stack
24s main
main
24s
Added P05S05B01 Deploy GitHub Pages #38: Commit 704841e pushed by yingalexander4-stack
26s main
main
26s
Added P05S05B01 Lean Action CI #38: Commit 704841e pushed by yingalexander4-stack
1m 24s main
main
1m 24s
added simp example exercise Lean Action CI #37: Commit 86d63bc pushed by yingalexander4-stack
1m 42s main
main
1m 42s
added simp example exercise Deploy GitHub Pages #37: Commit 86d63bc pushed by yingalexander4-stack
52s main
main
52s
add P05S03 Multiplication exercises from template Lean Action CI #36: Commit dba4939 pushed by yingalexander4-stack
1m 45s main
main
1m 45s
add P05S03 Multiplication exercises from template Deploy GitHub Pages #36: Commit dba4939 pushed by yingalexander4-stack
40s main
main
40s
added P05S02 up to B02 Deploy GitHub Pages #35: Commit 09ca81a pushed by yingalexander4-stack
36s main
main
36s
added P05S02 up to B02 Lean Action CI #35: Commit 09ca81a pushed by yingalexander4-stack
1m 42s main
main
1m 42s