Skip to content

Actions: exercism/lean

Actions

No important files changed

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
no-important-files-changed.yml
135 workflow runs
135 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
regenerate lakefile No important files changed #135: Pull request #188 opened by oxe-i
11s
11s
Add resistor-color-trio exercise No important files changed #134: Pull request #187 opened by oxe-i
9s
9s
fix name, grammar revision, extra case No important files changed #133: Pull request #186 opened by oxe-i
9s
9s
add custom exercise assemble No important files changed #132: Pull request #184 opened by oxe-i
7s
7s
Add alphametics exercise No important files changed #131: Pull request #183 opened by keiravillekode
9s
9s
add pascals-triangle exercise No important files changed #130: Pull request #181 opened by oxe-i
9s
9s
add resistor-color-duo exercise No important files changed #129: Pull request #180 opened by oxe-i
7s
7s
Add variable-length-quantity exercise No important files changed #128: Pull request #179 opened by oxe-i
9s
9s
fix reverse-list No important files changed #127: Pull request #178 opened by oxe-i
8s
8s
add custom exercise reverse-list No important files changed #126: Pull request #176 opened by oxe-i
6s
6s
change ! to * in resistor-color syntax No important files changed #125: Pull request #174 opened by oxe-i
6s
6s
add resistor-color exercise No important files changed #124: Pull request #173 opened by oxe-i
6s
6s
add strain exercise No important files changed #123: Pull request #172 opened by oxe-i
13s
13s
bump Lean version to 4.29.0, the current stable version No important files changed #122: Pull request #171 opened by oxe-i
15s
15s
add nucleotide-count No important files changed #121: Pull request #170 opened by oxe-i
7s
7s
Misc revision No important files changed #120: Pull request #169 opened by oxe-i
11s
11s
Add hangman No important files changed #119: Pull request #168 opened by oxe-i
9s
9s
Add queen-attack exercise No important files changed #118: Pull request #166 opened by oxe-i
9s
9s
Convenience script to launch generator No important files changed #117: Pull request #163 opened by keiravillekode
9s
9s
Add Zipper practice exercise No important files changed #116: Pull request #162 opened by jojo8356
11s
11s
Add List-Ops practice exercise No important files changed #115: Pull request #161 opened by jojo8356
8s
8s
Add kindergarten-garden No important files changed #114: Pull request #152 opened by keiravillekode
8s
8s
add custom-set No important files changed #113: Pull request #151 opened by oxe-i
6s
6s
add comment after sorry informing it should be removed No important files changed #112: Pull request #148 opened by oxe-i
12s
12s
adjust ETL generator No important files changed #111: Pull request #143 opened by oxe-i
10s
10s
⚡