Skip to content

Actions: exercism/lean

Actions

Lean / pre-commit checks

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pre-commit.yml
422 workflow runs
422 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
fix name, grammar revision, extra case Lean / pre-commit checks #426: Pull request #186 opened by oxe-i
12s oxe-i:adjustAssemble
oxe-i:adjustAssemble
12s
configlet workflow checks format (#185) Lean / pre-commit checks #425: Commit 21f6409 pushed by keiravillekode
12s main
main
12s
add custom exercise assemble (#184) Lean / pre-commit checks #424: Commit 7d951a2 pushed by oxe-i
16s main
main
16s
add custom exercise assemble Lean / pre-commit checks #423: Pull request #184 synchronize by oxe-i
19s oxe-i:addAssemble
oxe-i:addAssemble
19s
configlet workflow checks format Lean / pre-commit checks #422: Pull request #185 opened by keiravillekode
13s keiravillekode:check-fmt
keiravillekode:check-fmt
13s
add custom exercise assemble Lean / pre-commit checks #421: Pull request #184 opened by oxe-i
15s oxe-i:addAssemble
oxe-i:addAssemble
15s
Add alphametics exercise (#183) Lean / pre-commit checks #420: Commit 48d95d5 pushed by keiravillekode
13s main
main
13s
Add alphametics exercise Lean / pre-commit checks #419: Pull request #183 opened by keiravillekode
13s keiravillekode:alphametics
keiravillekode:alphametics
13s
INSTALLATION.md: install not instal (#182) Lean / pre-commit checks #418: Commit 25270a8 pushed by oxe-i
18s main
main
18s
INSTALLATION.md: install not instal Lean / pre-commit checks #417: Pull request #182 opened by keiravillekode
23s keiravillekode:instal_install
keiravillekode:instal_install
23s
add pascals-triangle (#181) Lean / pre-commit checks #416: Commit 0b72c98 pushed by oxe-i
19s main
main
19s
add pascals-triangle exercise Lean / pre-commit checks #415: Pull request #181 opened by oxe-i
17s oxe-i:addPascalsTriangle
oxe-i:addPascalsTriangle
17s
add resistor-color-duo exercise (#180) Lean / pre-commit checks #414: Commit ace4138 pushed by oxe-i
23s main
main
23s
add resistor-color-duo exercise Lean / pre-commit checks #413: Pull request #180 synchronize by oxe-i
14s oxe-i:addResistorColorDuo
oxe-i:addResistorColorDuo
14s
add resistor-color-duo exercise Lean / pre-commit checks #412: Pull request #180 opened by oxe-i
23s oxe-i:addResistorColorDuo
oxe-i:addResistorColorDuo
23s
Add variable-length-quantity exercise (#179) Lean / pre-commit checks #411: Commit 9a7636b pushed by oxe-i
13s main
main
13s
Add variable-length-quantity exercise Lean / pre-commit checks #410: Pull request #179 opened by oxe-i
14s oxe-i:addVariableLengthQuantity
oxe-i:addVariableLengthQuantity
14s
fix reverse-list (#178) Lean / pre-commit checks #409: Commit 86724b7 pushed by oxe-i
13s main
main
13s
fix reverse-list Lean / pre-commit checks #408: Pull request #178 synchronize by oxe-i
11s oxe-i:improveReverseList
oxe-i:improveReverseList
11s
fix reverse-list Lean / pre-commit checks #407: Pull request #178 opened by oxe-i
16s oxe-i:improveReverseList
oxe-i:improveReverseList
16s
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