Skip to content

Actions: exercism/lean

Actions

Lean / pre-commit checks

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add custom-set (#151) Lean / pre-commit checks #352: Commit d7960a8 pushed by oxe-i
14s main
main
14s
add custom-set Lean / pre-commit checks #351: Pull request #151 opened by oxe-i
18s oxe-i:addCustomSet
oxe-i:addCustomSet
18s
launch track (#150) Lean / pre-commit checks #350: Commit 66d0a5a pushed by oxe-i
16s main
main
16s
launch track Lean / pre-commit checks #349: Pull request #150 opened by oxe-i
19s oxe-i:goLive
oxe-i:goLive
19s
various changes to the docs (#149) Lean / pre-commit checks #348: Commit f1ae62f pushed by oxe-i
13s main
main
13s
various changes to the docs Lean / pre-commit checks #347: Pull request #149 synchronize by oxe-i
13s oxe-i:adjustDocs
oxe-i:adjustDocs
13s
various changes to the docs Lean / pre-commit checks #346: Pull request #149 opened by oxe-i
13s oxe-i:adjustDocs
oxe-i:adjustDocs
13s
add comment after sorry informing it should be removed (#148) Lean / pre-commit checks #345: Commit 254c57b pushed by oxe-i
18s main
main
18s
add comment after sorry informing it should be removed Lean / pre-commit checks #344: Pull request #148 opened by oxe-i
13s oxe-i:addCommentOnSorry
oxe-i:addCommentOnSorry
13s
adjust docs to remove reference to Lean library (#146) Lean / pre-commit checks #343: Commit a6aeeaa pushed by oxe-i
20s main
main
20s
adjust docs to remove reference to Lean library Lean / pre-commit checks #342: Pull request #146 opened by oxe-i
16s oxe-i:adjustDocs
oxe-i:adjustDocs
16s
bin/verify-exercises-in-docker image argument (#145) Lean / pre-commit checks #341: Commit 4c48e0d pushed by keiravillekode
18s main
main
18s
bin/verify-exercises-in-docker image argument Lean / pre-commit checks #340: Pull request #145 opened by keiravillekode
14s keiravillekode:verify-exercises-in-docker-image
keiravillekode:verify-exercises-in-docker-image
14s
adjust ETL generator (#143) Lean / pre-commit checks #339: Commit 268adc3 pushed by oxe-i
16s main
main
16s
generate darts, hello-world tests (#127) Lean / pre-commit checks #338: Commit d464ad6 pushed by keiravillekode
18s main
main
18s
generate darts, hello-world tests Lean / pre-commit checks #337: Pull request #127 synchronize by keiravillekode
16s keiravillekode:darts-helloWorld-tests
keiravillekode:darts-helloWorld-tests
16s
adjust ETL generator Lean / pre-commit checks #336: Pull request #143 opened by oxe-i
18s oxe-i:adjustETLGenerator
oxe-i:adjustETLGenerator
18s
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