Skip to content

Actions: sysghent/learn-lean-riddles

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
183 workflow runs
183 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 typo in the notation of crossings Lean Action CI #183: Pull request #38 opened by wvhulle
2m 10s fix-notation-boat
fix-notation-boat
2m 10s
Finalise refactor of lights out Lean Action CI #182: Pull request #37 opened by wvhulle
2m 10s finalise-html-render
finalise-html-render
2m 10s
Refactor lights-out puzzle Lean Action CI #181: Pull request #36 opened by wvhulle
2m 19s remove-dupl-cross
remove-dupl-cross
2m 19s
Replace explicit enumeration with forall quantification and improve naming in river crossing puzzles Lean Action CI #180: Pull request #35 synchronize by Copilot AI
1m 8s copilot/fix-34
copilot/fix-34
1m 8s
Replace explicit enumeration with forall quantification and improve naming in river crossing puzzles Lean Action CI #179: Pull request #35 synchronize by Copilot AI
1m 3s copilot/fix-34
copilot/fix-34
1m 3s
Addressing comment on PR #35 Copilot #8: by Copilot AI
8m 58s copilot/fix-34
copilot/fix-34
8m 58s
Replace explicit enumeration with forall quantification and improve naming in river crossing puzzles Lean Action CI #178: Pull request #35 synchronize by Copilot AI
2m 7s copilot/fix-34
copilot/fix-34
2m 7s
Replace explicit enumeration with forall quantification and improve naming in river crossing puzzles Lean Action CI #177: Pull request #35 synchronize by Copilot AI
2m 9s copilot/fix-34
copilot/fix-34
2m 9s
Addressing comment on PR #35 Copilot #7: by Copilot AI
8m 28s copilot/fix-34
copilot/fix-34
8m 28s
Addressing comment on PR #35 Copilot #6: by Copilot AI
11m 28s copilot/fix-34
copilot/fix-34
11m 28s
Addressing comment on PR #35 Copilot #5: by Copilot AI
5m 17s copilot/fix-34
copilot/fix-34
5m 17s
Addressing comment on PR #35 Copilot #4: by Copilot AI
4m 42s copilot/fix-34
copilot/fix-34
4m 42s
Fixing issue #34 Copilot #3: by Copilot AI
11m 24s copilot/fix-34
copilot/fix-34
11m 24s
Remove blue eyed and simplify the crossing safety Lean Action CI #168: Pull request #33 opened by wvhulle
2m 10s improve-readability-crossing
improve-readability-crossing
2m 10s
Move docs to another repo Lean Action CI #167: Pull request #32 opened by wvhulle
1m 13s move-docs-ext
move-docs-ext
1m 13s
Split up docs into levels Lean Action CI #166: Pull request #31 opened by wvhulle
1m 17s split-docs
split-docs
1m 17s
Add small fixes to comments Lean Action CI #165: Pull request #30 opened by wvhulle
1m 18s doc-fix
doc-fix
1m 18s
Make proofs in solution slightly more readable Lean Action CI #164: Pull request #29 opened by wvhulle
1m 20s doc-bayes
doc-bayes
1m 20s
Whitespace Lean Action CI #163: Pull request #28 opened by wvhulle
1m 28s test-ci
test-ci
1m 28s
Rewrite solution by Matteo Cipollina (#27) Lean Action CI #162: Commit 1ad3fe7 pushed by wvhulle
1m 15s main
main
1m 15s
Rewrite solution by Matteo Cipollina Lean Action CI #161: Pull request #27 opened by wvhulle
1m 17s upgrade-tactic-split-bayesian
upgrade-tactic-split-bayesian
1m 17s
Reorganise some measure theory Lean Action CI #160: Commit 1f07e07 pushed by wvhulle
1m 16s upgrade-tactic-split-bayesian
upgrade-tactic-split-bayesian
1m 16s
Create MontyHallBayes.lean (#26) Lean Action CI #159: Commit 13c8f71 pushed by wvhulle
1m 15s main
main
1m 15s
Create MontyHallBayes.lean Lean Action CI #158: Pull request #26 opened by or4nge19
1m 19s or4nge19:main
or4nge19:main
1m 19s
Simplification and generalisation Lean Action CI #157: Pull request #25 synchronize by wvhulle
1m 26s bayes-general-after-school
bayes-general-after-school
1m 26s