Skip to content

Actions: exercism/lean

Actions

Lean / pre-commit checks

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

improve error handling by the generator (#142) Lean / pre-commit checks #335: Commit 8fd99e1 pushed by oxe-i
14s main
main
14s
serialize lists in anagram generator (#141) Lean / pre-commit checks #334: Commit 31f67f2 pushed by oxe-i
17s main
main
17s
Add word-count generator (#140) Lean / pre-commit checks #333: Commit 192fc63 pushed by oxe-i
17s main
main
17s
reformat SgfParsingTest (#139) Lean / pre-commit checks #332: Commit d0f4e17 pushed by keiravillekode
17s main
main
17s
reformat yacht test (#138) Lean / pre-commit checks #331: Commit 11df19c pushed by keiravillekode
17s main
main
17s
reformat tests (#137) Lean / pre-commit checks #330: Commit 3413c01 pushed by keiravillekode
15s main
main
15s
improve error handling by the generator Lean / pre-commit checks #329: Pull request #142 synchronize by oxe-i
18s oxe-i:improveErrorHandlingOnGenerator
oxe-i:improveErrorHandlingOnGenerator
18s
improve error handling by the generator Lean / pre-commit checks #328: Pull request #142 synchronize by oxe-i
16s oxe-i:improveErrorHandlingOnGenerator
oxe-i:improveErrorHandlingOnGenerator
16s
improve error handling by the generator Lean / pre-commit checks #327: Pull request #142 synchronize by oxe-i
12s oxe-i:improveErrorHandlingOnGenerator
oxe-i:improveErrorHandlingOnGenerator
12s
improve error handling by the generator Lean / pre-commit checks #326: Pull request #142 opened by oxe-i
14s oxe-i:improveErrorHandlingOnGenerator
oxe-i:improveErrorHandlingOnGenerator
14s
adjust anagram generator Lean / pre-commit checks #325: Pull request #141 opened by oxe-i
12s oxe-i:adjustAnagramGenerator
oxe-i:adjustAnagramGenerator
12s
Add word-count generator Lean / pre-commit checks #324: Pull request #140 opened by oxe-i
14s oxe-i:addWordCountGenerator
oxe-i:addWordCountGenerator
14s
reformat SgfParsingTest Lean / pre-commit checks #323: Pull request #139 opened by keiravillekode
15s keiravillekode:reformat-sgf-parsing
keiravillekode:reformat-sgf-parsing
15s
reformat yacht test Lean / pre-commit checks #322: Pull request #138 opened by keiravillekode
15s keiravillekode:split-table
keiravillekode:split-table
15s
reformat tests Lean / pre-commit checks #321: Pull request #137 opened by keiravillekode
19s keiravillekode:split-test-line
keiravillekode:split-test-line
19s
add sgf-parsing exercise (#136) Lean / pre-commit checks #320: Commit fe574a3 pushed by oxe-i
14s main
main
14s
add sgf-parsing exercise Lean / pre-commit checks #319: Pull request #136 synchronize by oxe-i
14s oxe-i:addSGFParsing
oxe-i:addSGFParsing
14s
add sgf-parsing exercise Lean / pre-commit checks #318: Pull request #136 synchronize by oxe-i
15s oxe-i:addSGFParsing
oxe-i:addSGFParsing
15s
Add zebra-puzzle exercise (#135) Lean / pre-commit checks #317: Commit e9ea7f5 pushed by keiravillekode
17s main
main
17s
add sgf-parsing exercise Lean / pre-commit checks #316: Pull request #136 opened by oxe-i
18s oxe-i:addSGFParsing
oxe-i:addSGFParsing
18s
Add zebra-puzzle exercise Lean / pre-commit checks #315: Pull request #135 opened by keiravillekode
14s keiravillekode:zebra-puzzle
keiravillekode:zebra-puzzle
14s
Add meetup exercise (#134) Lean / pre-commit checks #314: Commit a894252 pushed by keiravillekode
15s main
main
15s
Add meetup exercise Lean / pre-commit checks #313: Pull request #134 synchronize by keiravillekode
14s keiravillekode:meetup
keiravillekode:meetup
14s
Add meetup exercise Lean / pre-commit checks #312: Pull request #134 opened by keiravillekode
13s keiravillekode:meetup
keiravillekode:meetup
13s
Add affine-cipher atbash-cipher test case (#132) Lean / pre-commit checks #311: Commit 9a2e25d pushed by keiravillekode
18s main
main
18s