Skip to content

Actions: exercism/lean

Actions

Pause Community Contributions

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pause-community-contributions.yml
172 workflow runs
172 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 Pause Community Contributions #172: Pull request #177 opened by oxe-i
6s
6s
add custom exercise reverse-list Pause Community Contributions #171: Pull request #176 opened by oxe-i
7s
7s
Consider adding proof requirement to some currently easy exercises Pause Community Contributions #170: Issue #175 opened by keiravillekode
7s
7s
change ! to * in resistor-color syntax Pause Community Contributions #169: Pull request #174 opened by oxe-i
12s
12s
add resistor-color exercise Pause Community Contributions #168: Pull request #173 opened by oxe-i
7s
7s
add strain exercise Pause Community Contributions #167: Pull request #172 opened by oxe-i
8s
8s
bump Lean version to 4.29.0, the current stable version Pause Community Contributions #166: Pull request #171 opened by oxe-i
9s
9s
add nucleotide-count Pause Community Contributions #165: Pull request #170 opened by oxe-i
7s
7s
Misc revision Pause Community Contributions #164: Pull request #169 opened by oxe-i
10s
10s
Add hangman Pause Community Contributions #163: Pull request #168 opened by oxe-i
7s
7s
Bump actions/cache from 5.0.3 to 5.0.4 Pause Community Contributions #162: Pull request #167 opened by dependabot bot
7s
7s
Add queen-attack exercise Pause Community Contributions #161: Pull request #166 opened by oxe-i
8s
8s
Rename bin/reorder-exercises to bin/sort-exercises in bin/add-practice-exercise Pause Community Contributions #160: Pull request #165 opened by oxe-i
13s
13s
Adjust docs Pause Community Contributions #159: Pull request #164 opened by oxe-i
7s
7s
Convenience script to launch generator Pause Community Contributions #158: Pull request #163 opened by keiravillekode
8s
8s
Add Zipper practice exercise Pause Community Contributions #157: Pull request #162 opened by jojo8356
10s
10s
Add List-Ops practice exercise Pause Community Contributions #156: Pull request #161 opened by jojo8356
8s
8s
add approaches and article to difference-of-squares Pause Community Contributions #155: Pull request #160 opened by oxe-i
6s
6s
Adjust appends Pause Community Contributions #154: Pull request #159 opened by oxe-i
8s
8s
Add List-Ops practice exercise Pause Community Contributions #153: Issue #158 opened by oxe-i
7s
7s
Add Zipper practice exercise Pause Community Contributions #152: Issue #157 opened by oxe-i
9s
9s
Create a CodeMirror mode for Lean Pause Community Contributions #151: Issue #156 opened by oxe-i
6s
6s
Build a representer Pause Community Contributions #150: Issue #155 opened by oxe-i
11s
11s
Build an analyzer Pause Community Contributions #149: Issue #154 opened by oxe-i
6s
6s
update CONTRIBUTING.md, add doc for the generator Pause Community Contributions #148: Pull request #153 opened by oxe-i
7s
7s