Skip to content

Actions: SamuelSchlesinger/leanlings

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
24 workflow runs
24 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
Strengthen course checks and teach proof strategies explicitly CI #25: Commit be03c5e pushed by SamuelSchlesinger
5m 53s main
main
5m 53s
Explain first definitions and proof states step by step CI #24: Commit d40261d pushed by SamuelSchlesinger
1m 54s main
main
1m 54s
Merge pull request #13 from SamuelSchlesinger/agent/fix-course-valida… CI #23: Commit 6cca932 pushed by SamuelSchlesinger
1m 50s main
main
1m 50s
Fix course validation and progress tracking CI #22: Pull request #13 opened by SamuelSchlesinger
1m 59s agent/fix-course-validation-bugs
agent/fix-course-validation-bugs
1m 59s
State hidden-test requirements in the exercise text CI #21: Commit f0ab86c pushed by SamuelSchlesinger
1m 47s main
main
1m 47s
Silence unused-variable warning in nng exact exercise CI #20: Commit 431cd7e pushed by SamuelSchlesinger
39s main
main
39s
Add analysis course: construct ℚ and ℝ from scratch CI #19: Commit ed1c814 pushed by SamuelSchlesinger
1m 46s main
main
1m 46s
Fix issues #10 and #11 and the remaining deferred items CI #18: Commit 92c6d10 pushed by SamuelSchlesinger
39s main
main
39s
Improve algebra-course pedagogical sequencing (review follow-up) CI #17: Commit 88854e9 pushed by SamuelSchlesinger
1m 31s main
main
1m 31s
Merge pull request #12 from SamuelSchlesinger/feat/courses CI #16: Commit a550de6 pushed by SamuelSchlesinger
1m 37s main
main
1m 37s
Multi-course support, Natural Number Game course, and intro-course fixes CI #15: Pull request #12 synchronize by SamuelSchlesinger
1m 36s feat/courses
feat/courses
1m 36s
Merge pull request #4 from pete-murphy/patch-1 CI #14: Commit 6ec8028 pushed by SamuelSchlesinger
37s main
main
37s
Merge pull request #2 from SamuelSchlesinger/fix/tactics2-apply-comment CI #12: Commit 0f0e4c8 pushed by SamuelSchlesinger
41s main
main
41s
Fix misleading comment in tactics2, add and_map exercise CI #11: Pull request #2 opened by SamuelSchlesinger
40s fix/tactics2-apply-comment
fix/tactics2-apply-comment
40s
Rewrite README resources section as recommendations, not a comparison CI #10: Commit 28bdace pushed by SamuelSchlesinger
38s main
main
38s
Expand final quiz, add recursion4, and rewrite README with ecosystem … CI #9: Commit 1c8b6a9 pushed by SamuelSchlesinger
17s main
main
17s
Rework quiz1: library-themed proofs, drop fiction genre, harden guards CI #8: Commit 4094bf5 pushed by SamuelSchlesinger
39s main
main
39s
improved quiz1 CI #7: Commit 9b818b1 pushed by SamuelSchlesinger
36s main
main
36s
Ensure exercises practice what they teach CI #6: Commit 3e3b5e2 pushed by SamuelSchlesinger
35s main
main
35s
Exercise completeness: interpolation, foldl, struct updates CI #5: Commit 1920216 pushed by SamuelSchlesinger
41s main
main
41s
Teach False and nomatch in props1 CI #4: Commit 6d5c0b2 pushed by SamuelSchlesinger
34s main
main
34s
Teach fun pattern matching syntax in inductive2 CI #3: Commit e2cd967 pushed by SamuelSchlesinger
39s main
main
39s
Handle file read errors in watch mode CI #2: Commit a5304b9 pushed by SamuelSchlesinger
40s main
main
40s
Comprehensive pedagogical overhaul CI #1: Commit 7f45f3e pushed by SamuelSchlesinger
40s main
main
40s