Skip to content

Actions: oxe-i/lean

Actions

Lean / pre-commit checks

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add approaches and article to difference-of-squares (#160) Lean / pre-commit checks #83: Commit 355576e pushed by oxe-i
15s main
main
15s
Adjust appends (#159) Lean / pre-commit checks #82: Commit 615ce71 pushed by oxe-i
14s main
main
14s
update CONTRIBUTING.md, add doc for the generator (#153) Lean / pre-commit checks #81: Commit f8df0ce pushed by oxe-i
18s main
main
18s
Add kindergarten-garden (#152) Lean / pre-commit checks #80: Commit a29e182 pushed by oxe-i
17s main
main
17s
add custom-set (#151) Lean / pre-commit checks #79: Commit d7960a8 pushed by oxe-i
18s main
main
18s
launch track (#150) Lean / pre-commit checks #78: Commit 66d0a5a pushed by oxe-i
18s main
main
18s
various changes to the docs (#149) Lean / pre-commit checks #77: Commit f1ae62f pushed by oxe-i
15s main
main
15s
add comment after sorry informing it should be removed (#148) Lean / pre-commit checks #76: Commit 254c57b pushed by oxe-i
17s main
main
17s
adjust docs to remove reference to Lean library (#146) Lean / pre-commit checks #75: Commit a6aeeaa pushed by oxe-i
13s main
main
13s
bin/verify-exercises-in-docker image argument (#145) Lean / pre-commit checks #74: Commit 4c48e0d pushed by oxe-i
17s main
main
17s
improve error handling by the generator (#142) Lean / pre-commit checks #73: Commit 8fd99e1 pushed by oxe-i
14s main
main
14s
add sgf-parsing exercise (#136) Lean / pre-commit checks #72: Commit fe574a3 pushed by oxe-i
17s main
main
17s
Add meetup exercise (#134) Lean / pre-commit checks #71: Commit a894252 pushed by oxe-i
13s main
main
13s
DifferenceOfSquares Knapsack Generator (#128) Lean / pre-commit checks #70: Commit a5dfd47 pushed by oxe-i
17s main
main
17s
Hamming LineUp TwoFer Generator (#125) Lean / pre-commit checks #69: Commit 660e455 pushed by oxe-i
18s main
main
18s
ScrabbleScore SquareRoot SumOfMultiples Generator (#124) Lean / pre-commit checks #68: Commit 0766d16 pushed by oxe-i
14s main
main
14s
Raindrops RnaTranscription RunLengthEncoding Generator (#123) Lean / pre-commit checks #67: Commit 5125692 pushed by oxe-i
20s main
main
20s
Add satellite exercise (#115) Lean / pre-commit checks #66: Commit d357b61 pushed by oxe-i
16s main
main
16s
Add linked-list exercise (#113) Lean / pre-commit checks #65: Commit 7f45dad pushed by oxe-i
18s main
main
18s
Add binary-search-tree exercise (#110) Lean / pre-commit checks #64: Commit 589e904 pushed by oxe-i
18s main
main
18s
Generate flatten-array tests (#109) Lean / pre-commit checks #63: Commit 674cc31 pushed by oxe-i
16s main
main
16s
Add book-store exercise (#106) Lean / pre-commit checks #62: Commit d852bcd pushed by oxe-i
14s main
main
14s
Use assertTrue / assertFalse (#105) Lean / pre-commit checks #61: Commit 91b7175 pushed by oxe-i
22s main
main
22s
Add diamond exercise (#103) Lean / pre-commit checks #60: Commit 0103dbb pushed by oxe-i
16s main
main
16s
Add dominoes exercise (#101) Lean / pre-commit checks #59: Commit fd0e9fc pushed by oxe-i
18s main
main
18s