Skip to content

Actions: exercism/lean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,279 workflow runs
2,279 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
🤖 Auto-sync docs, metadata, and filepaths (#194) Configlet #444: Commit 3add8b4 pushed by keiravillekode
7s main
main
7s
🤖 Auto-sync docs, metadata, and filepaths (#194) Test #445: Commit 3add8b4 pushed by keiravillekode
3m 14s main
main
3m 14s
🤖 Auto-sync docs, metadata, and filepaths (#194) shellcheck #442: Commit 3add8b4 pushed by keiravillekode
10s main
main
10s
🤖 Auto-sync docs, metadata, and filepaths (#194) Lean / pre-commit checks #442: Commit 3add8b4 pushed by keiravillekode
13s main
main
13s
Run Configlet Sync Run Configlet Sync #5: Scheduled
13s main
main
13s
Format all instructions.append.md to start with an H1 (required but… Configlet #443: Commit 1a1a6ef pushed by keiravillekode
12s main
main
12s
Format all instructions.append.md to start with an H1 (required but… Test #444: Commit 1a1a6ef pushed by keiravillekode
3m 46s main
main
3m 46s
Format all instructions.append.md to start with an H1 (required but… shellcheck #441: Commit 1a1a6ef pushed by keiravillekode
7s main
main
7s
Format all instructions.append.md to start with an H1 (required but… Lean / pre-commit checks #441: Commit 1a1a6ef pushed by keiravillekode
18s main
main
18s
Format all instructions.append.md to start with an H1 (required but ignored) and H2 Pause Community Contributions #188: Pull request #193 opened by IsaacG
6s
6s
Format all instructions.append.md to start with an H1 (required but ignored) and H2 Ping cross-track maintainers team #177: Pull request #193 opened by IsaacG
6s
6s
Format all instructions.append.md to start with an H1 (required but ignored) and H2 Configlet #442: Pull request #193 opened by IsaacG
9s IsaacG:append.headers
IsaacG:append.headers
9s
Format all instructions.append.md to start with an H1 (required but ignored) and H2 Test #443: Pull request #193 opened by IsaacG
3m 30s IsaacG:append.headers
IsaacG:append.headers
3m 30s
Format all instructions.append.md to start with an H1 (required but ignored) and H2 Lean / pre-commit checks #440: Pull request #193 opened by IsaacG
15s IsaacG:append.headers
IsaacG:append.headers
15s
Format all instructions.append.md to start with an H1 (required but ignored) and H2 shellcheck #440: Pull request #193 opened by IsaacG
7s IsaacG:append.headers
IsaacG:append.headers
7s
add grep introduction (#192) Configlet #441: Commit a660d53 pushed by oxe-i
14s main
main
14s
add grep introduction (#192) Test #442: Commit a660d53 pushed by oxe-i
3m 35s main
main
3m 35s
add grep introduction (#192) Lean / pre-commit checks #439: Commit a660d53 pushed by oxe-i
19s main
main
19s
add grep introduction (#192) shellcheck #439: Commit a660d53 pushed by oxe-i
10s main
main
10s
add grep introduction Configlet #440: Pull request #192 opened by oxe-i
11s oxe-i:addGrepIntroduction
oxe-i:addGrepIntroduction
11s
add grep introduction Lean / pre-commit checks #438: Pull request #192 opened by oxe-i
19s oxe-i:addGrepIntroduction
oxe-i:addGrepIntroduction
19s
add grep introduction shellcheck #438: Pull request #192 opened by oxe-i
15s oxe-i:addGrepIntroduction
oxe-i:addGrepIntroduction
15s
add grep introduction Test #441: Pull request #192 opened by oxe-i
3m 36s oxe-i:addGrepIntroduction
oxe-i:addGrepIntroduction
3m 36s
add grep introduction Ping cross-track maintainers team #176: Pull request #192 opened by oxe-i
16s
16s
add grep introduction Pause Community Contributions #187: Pull request #192 opened by oxe-i
12s
12s