Skip to content

Actions: exercism/lean

Actions

Lean / pre-commit checks

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
402 workflow runs
402 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

set reverse-list to wip (#177)
Lean / pre-commit checks #406: Commit 572fb57 pushed by keiravillekode
17s main
add custom exercise reverse-list (#176)
Lean / pre-commit checks #404: Commit e625c3f pushed by oxe-i
16s main
change ! to * in resistor-color syntax (#174)
Lean / pre-commit checks #402: Commit 05256cb pushed by oxe-i
17s main
add resistor-color exercise (#173)
Lean / pre-commit checks #400: Commit b7a424c pushed by oxe-i
18s main
add strain exercise (#172)
Lean / pre-commit checks #398: Commit 8fe0800 pushed by oxe-i
16s main
add strain exercise
Lean / pre-commit checks #397: Pull request #172 synchronize by oxe-i
add strain exercise
Lean / pre-commit checks #396: Pull request #172 opened by oxe-i
add nucleotide-count (#170)
Lean / pre-commit checks #393: Commit 8aa10af pushed by oxe-i
15s main
Misc revision
Lean / pre-commit checks #390: Pull request #169 opened by oxe-i
Add hangman (#168)
Lean / pre-commit checks #389: Commit 3ef79ce pushed by oxe-i
14s main
Add hangman
Lean / pre-commit checks #388: Pull request #168 synchronize by oxe-i
Add hangman
Lean / pre-commit checks #387: Pull request #168 synchronize by oxe-i
Add hangman
Lean / pre-commit checks #386: Pull request #168 opened by oxe-i
Add queen-attack exercise (#166)
Lean / pre-commit checks #383: Commit 1f22d49 pushed by oxe-i
17s main