Skip to content

Actions: exercism/lean

Actions

Lean / pre-commit checks

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pre-commit.yml
427 workflow runs
427 workflow runs

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
add say exercise Lean / pre-commit checks #102: Pull request #44 synchronize by oxe-i
17s oxe-i:add_say_exercise
oxe-i:add_say_exercise
17s
add say exercise Lean / pre-commit checks #101: Pull request #44 opened by oxe-i
12s oxe-i:add_say_exercise
oxe-i:add_say_exercise
12s
add binary-search exercise (#42) Lean / pre-commit checks #100: Commit 8500019 pushed by oxe-i
12s main
main
12s
Add roman-numerals exercise Lean / pre-commit checks #99: Pull request #43 opened by keiravillekode
13s keiravillekode:roman-numerals-2
keiravillekode:roman-numerals-2
13s
add binary-search exercise Lean / pre-commit checks #98: Pull request #42 opened by oxe-i
20s oxe-i:add_binary_search
oxe-i:add_binary_search
20s
Improve generator (#41) Lean / pre-commit checks #97: Commit cfc6d65 pushed by oxe-i
13s main
main
13s
Add grains exercise (#40) Lean / pre-commit checks #96: Commit eadcbf2 pushed by keiravillekode
14s main
main
14s
Improve generator Lean / pre-commit checks #95: Pull request #41 opened by oxe-i
17s oxe-i:improve_generator
oxe-i:improve_generator
17s
Add grains exercise Lean / pre-commit checks #94: Pull request #40 opened by keiravillekode
26s keiravillekode:grains
keiravillekode:grains
26s
Add leap exercise (#39) Lean / pre-commit checks #93: Commit ce39f91 pushed by keiravillekode
13s main
main
13s
Add pythagorean triplet (#37) Lean / pre-commit checks #92: Commit e929f4e pushed by oxe-i
12s main
main
12s
Add pythagorean triplet Lean / pre-commit checks #91: Pull request #37 synchronize by oxe-i
15s oxe-i:add_pythagorean_triplet
oxe-i:add_pythagorean_triplet
15s
Add pythagorean triplet Lean / pre-commit checks #90: Pull request #37 synchronize by oxe-i
15s oxe-i:add_pythagorean_triplet
oxe-i:add_pythagorean_triplet
15s
Add leap exercise Lean / pre-commit checks #89: Pull request #39 opened by keiravillekode
17s keiravillekode:leap
keiravillekode:leap
17s
Retire Basic.lean (#38) Lean / pre-commit checks #88: Commit e042dbf pushed by tim-br
14s main
main
14s
Retire Basic.lean Lean / pre-commit checks #87: Pull request #38 opened by keiravillekode
13s keiravillekode:retire-basic
keiravillekode:retire-basic
13s
Add triangle exercise (#36) Lean / pre-commit checks #86: Commit 16d023a pushed by keiravillekode
12s main
main
12s
Add pythagorean triplet Lean / pre-commit checks #85: Pull request #37 opened by oxe-i
15s oxe-i:add_pythagorean_triplet
oxe-i:add_pythagorean_triplet
15s
Add triangle exercise Lean / pre-commit checks #84: Pull request #36 opened by keiravillekode
13s keiravillekode:triangle-2
keiravillekode:triangle-2
13s
Add anagram (#35) Lean / pre-commit checks #83: Commit 34b6470 pushed by oxe-i
11s main
main
11s
Add test generator (#31) Lean / pre-commit checks #82: Commit e645be1 pushed by tim-br
17s main
main
17s
Add test generator Lean / pre-commit checks #81: Pull request #31 synchronize by oxe-i
15s oxe-i:add_test_generator
oxe-i:add_test_generator
15s
Add anagram Lean / pre-commit checks #80: Pull request #35 opened by oxe-i
17s oxe-i:add_anagram
oxe-i:add_anagram
17s
Add test generator Lean / pre-commit checks #79: Pull request #31 synchronize by oxe-i
16s oxe-i:add_test_generator
oxe-i:add_test_generator
16s
Add square-root exercise (#34) Lean / pre-commit checks #78: Commit fa0a461 pushed by keiravillekode
12s main
main
12s
ProTip! You can narrow down the results and go further in time using created:<2026-01-14 or the other filters available.