Skip to content

Actions: exercism/lean

Actions

Lean / pre-commit checks

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pre-commit.yml
402 workflow runs
402 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
set reverse-list to wip (#177) Lean / pre-commit checks #406: Commit 572fb57 pushed by keiravillekode
17s main
main
17s
set reverse-list to wip Lean / pre-commit checks #405: Pull request #177 opened by oxe-i
12s oxe-i:fixReversedList
oxe-i:fixReversedList
12s
add custom exercise reverse-list (#176) Lean / pre-commit checks #404: Commit e625c3f pushed by oxe-i
16s main
main
16s
add custom exercise reverse-list Lean / pre-commit checks #403: Pull request #176 opened by oxe-i
13s oxe-i:addReverseList
oxe-i:addReverseList
13s
change ! to * in resistor-color syntax (#174) Lean / pre-commit checks #402: Commit 05256cb pushed by oxe-i
17s main
main
17s
change ! to * in resistor-color syntax Lean / pre-commit checks #401: Pull request #174 opened by oxe-i
12s oxe-i:correctSyntaxResistorColor
oxe-i:correctSyntaxResistorColor
12s
add resistor-color exercise (#173) Lean / pre-commit checks #400: Commit b7a424c pushed by oxe-i
18s main
main
18s
add resistor-color exercise Lean / pre-commit checks #399: Pull request #173 opened by oxe-i
22s oxe-i:addResistorColor
oxe-i:addResistorColor
22s
add strain exercise (#172) Lean / pre-commit checks #398: Commit 8fe0800 pushed by oxe-i
16s main
main
16s
add strain exercise Lean / pre-commit checks #397: Pull request #172 synchronize by oxe-i
15s oxe-i:addStrain
oxe-i:addStrain
15s
add strain exercise Lean / pre-commit checks #396: Pull request #172 opened by oxe-i
16s oxe-i:addStrain
oxe-i:addStrain
16s
bump Lean version to 4.29.0, the current stable version (#171) Lean / pre-commit checks #395: Commit 2cd38cf pushed by oxe-i
13s main
main
13s
bump Lean version to 4.29.0, the current stable version Lean / pre-commit checks #394: Pull request #171 opened by oxe-i
15s oxe-i:bumpVersion
oxe-i:bumpVersion
15s
add nucleotide-count (#170) Lean / pre-commit checks #393: Commit 8aa10af pushed by oxe-i
15s main
main
15s
add nucleotide-count Lean / pre-commit checks #392: Pull request #170 opened by oxe-i
17s oxe-i:addNucleotideCount
oxe-i:addNucleotideCount
17s
Misc revision (#169) [no important files changed] Lean / pre-commit checks #391: Commit f739229 pushed by oxe-i
15s main
main
15s
Misc revision Lean / pre-commit checks #390: Pull request #169 opened by oxe-i
19s oxe-i:miscRevision
oxe-i:miscRevision
19s
Add hangman (#168) Lean / pre-commit checks #389: Commit 3ef79ce pushed by oxe-i
14s main
main
14s
Add hangman Lean / pre-commit checks #388: Pull request #168 synchronize by oxe-i
16s oxe-i:addHangman
oxe-i:addHangman
16s
Add hangman Lean / pre-commit checks #387: Pull request #168 synchronize by oxe-i
12s oxe-i:addHangman
oxe-i:addHangman
12s
Add hangman Lean / pre-commit checks #386: Pull request #168 opened by oxe-i
14s oxe-i:addHangman
oxe-i:addHangman
14s
Bump actions/cache from 5.0.3 to 5.0.4 (#167) Lean / pre-commit checks #385: Commit fe85209 pushed by keiravillekode
15s main
main
15s
Bump actions/cache from 5.0.3 to 5.0.4 Lean / pre-commit checks #384: Pull request #167 opened by dependabot bot
16s dependabot/github_actions/actions/cache-5.0.4
dependabot/github_actions/actions/cache-5.0.4
16s
Add queen-attack exercise (#166) Lean / pre-commit checks #383: Commit 1f22d49 pushed by oxe-i
17s main
main
17s
Add queen-attack exercise Lean / pre-commit checks #382: Pull request #166 synchronize by oxe-i
18s oxe-i:addQueenAttack
oxe-i:addQueenAttack
18s