Skip to content

Actions: exercism/lean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,868 workflow runs
1,868 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Adjust appends Pause Community Contributions #154: Pull request #159 opened by oxe-i
8s
8s
Adjust appends Ping cross-track maintainers team #145: Pull request #159 opened by oxe-i
6s
6s
Adjust appends Configlet #361: Pull request #159 opened by oxe-i
10s oxe-i:adjustAppends
oxe-i:adjustAppends
10s
Adjust appends Lean / pre-commit checks #359: Pull request #159 opened by oxe-i
16s oxe-i:adjustAppends
oxe-i:adjustAppends
16s
Adjust appends shellcheck #359: Pull request #159 opened by oxe-i
7s oxe-i:adjustAppends
oxe-i:adjustAppends
7s
Adjust appends Test #362: Pull request #159 opened by oxe-i
3m 29s oxe-i:adjustAppends
oxe-i:adjustAppends
3m 29s
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 (#153) Configlet #360: Commit f8df0ce pushed by oxe-i
11s main
main
11s
update CONTRIBUTING.md, add doc for the generator (#153) shellcheck #358: Commit f8df0ce pushed by oxe-i
9s main
main
9s
update CONTRIBUTING.md, add doc for the generator (#153) Lean / pre-commit checks #358: Commit f8df0ce pushed by oxe-i
20s main
main
20s
update CONTRIBUTING.md, add doc for the generator (#153) Test #361: Commit f8df0ce pushed by oxe-i
3m 18s main
main
3m 18s
update CONTRIBUTING.md, add doc for the generator Configlet #359: Pull request #153 synchronize by oxe-i
10s oxe-i:addCONTRIBUTING
oxe-i:addCONTRIBUTING
10s
update CONTRIBUTING.md, add doc for the generator Lean / pre-commit checks #357: Pull request #153 synchronize by oxe-i
17s oxe-i:addCONTRIBUTING
oxe-i:addCONTRIBUTING
17s
update CONTRIBUTING.md, add doc for the generator Test #360: Pull request #153 synchronize by oxe-i
3m 15s oxe-i:addCONTRIBUTING
oxe-i:addCONTRIBUTING
3m 15s
update CONTRIBUTING.md, add doc for the generator shellcheck #357: Pull request #153 synchronize by oxe-i
9s oxe-i:addCONTRIBUTING
oxe-i:addCONTRIBUTING
9s
update CONTRIBUTING.md, add doc for the generator Configlet #358: Pull request #153 opened by oxe-i
10s oxe-i:addCONTRIBUTING
oxe-i:addCONTRIBUTING
10s
update CONTRIBUTING.md, add doc for the generator Test #359: Pull request #153 opened by oxe-i
3m 24s oxe-i:addCONTRIBUTING
oxe-i:addCONTRIBUTING
3m 24s
update CONTRIBUTING.md, add doc for the generator shellcheck #356: Pull request #153 opened by oxe-i
10s oxe-i:addCONTRIBUTING
oxe-i:addCONTRIBUTING
10s
update CONTRIBUTING.md, add doc for the generator Lean / pre-commit checks #356: Pull request #153 opened by oxe-i
17s oxe-i:addCONTRIBUTING
oxe-i:addCONTRIBUTING
17s
update CONTRIBUTING.md, add doc for the generator Ping cross-track maintainers team #144: Pull request #153 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