Skip to content

Actions: exercism/lean

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

reformat SgfParsingTest Configlet #325: Pull request #139 opened by keiravillekode
10s keiravillekode:reformat-sgf-parsing
keiravillekode:reformat-sgf-parsing
10s
reformat SgfParsingTest shellcheck #323: Pull request #139 opened by keiravillekode
7s keiravillekode:reformat-sgf-parsing
keiravillekode:reformat-sgf-parsing
7s
reformat SgfParsingTest Lean / pre-commit checks #323: Pull request #139 opened by keiravillekode
15s keiravillekode:reformat-sgf-parsing
keiravillekode:reformat-sgf-parsing
15s
reformat SgfParsingTest Test #326: Pull request #139 opened by keiravillekode
3m 7s keiravillekode:reformat-sgf-parsing
keiravillekode:reformat-sgf-parsing
3m 7s
reformat SgfParsingTest Ping cross-track maintainers team #132: Pull request #139 opened by keiravillekode
6s
6s
reformat SgfParsingTest No important files changed #108: Pull request #139 opened by keiravillekode
6s
6s
reformat SgfParsingTest Pause Community Contributions #134: Pull request #139 opened by keiravillekode
6s
6s
reformat yacht test Configlet #324: Pull request #138 opened by keiravillekode
9s keiravillekode:split-table
keiravillekode:split-table
9s
reformat yacht test shellcheck #322: Pull request #138 opened by keiravillekode
7s keiravillekode:split-table
keiravillekode:split-table
7s
reformat yacht test Test #325: Pull request #138 opened by keiravillekode
3m 10s keiravillekode:split-table
keiravillekode:split-table
3m 10s
reformat yacht test Lean / pre-commit checks #322: Pull request #138 opened by keiravillekode
15s keiravillekode:split-table
keiravillekode:split-table
15s
reformat yacht test Pause Community Contributions #133: Pull request #138 opened by keiravillekode
13s
13s
reformat yacht test No important files changed #107: Pull request #138 opened by keiravillekode
9s
9s
reformat yacht test Ping cross-track maintainers team #131: Pull request #138 opened by keiravillekode
8s
8s
reformat tests Configlet #323: Pull request #137 opened by keiravillekode
8s keiravillekode:split-test-line
keiravillekode:split-test-line
8s
reformat tests Lean / pre-commit checks #321: Pull request #137 opened by keiravillekode
19s keiravillekode:split-test-line
keiravillekode:split-test-line
19s
reformat tests Test #324: Pull request #137 opened by keiravillekode
2m 45s keiravillekode:split-test-line
keiravillekode:split-test-line
2m 45s
reformat tests shellcheck #321: Pull request #137 opened by keiravillekode
7s keiravillekode:split-test-line
keiravillekode:split-test-line
7s
reformat tests No important files changed #106: Pull request #137 opened by keiravillekode
7s
7s
reformat tests Ping cross-track maintainers team #130: Pull request #137 opened by keiravillekode
6s
6s
reformat tests Pause Community Contributions #132: Pull request #137 opened by keiravillekode
6s
6s
add sgf-parsing exercise (#136) Configlet #322: Commit fe574a3 pushed by oxe-i
7s main
main
7s
add sgf-parsing exercise (#136) Lean / pre-commit checks #320: Commit fe574a3 pushed by oxe-i
14s main
main
14s
add sgf-parsing exercise (#136) Test #323: Commit fe574a3 pushed by oxe-i
3m 15s main
main
3m 15s
add sgf-parsing exercise (#136) shellcheck #320: Commit fe574a3 pushed by oxe-i
8s main
main
8s