Skip to content

Actions: oxe-i/lean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
484 workflow runs
484 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
Tools Tools #8: Scheduled
43s main
main
43s
Run Configlet Sync Run Configlet Sync #8: Scheduled
10s main
main
10s
Add the booleans concept (#210) Configlet #116: Commit 3900cf8 pushed by oxe-i
9s main
main
9s
Add the booleans concept (#210) Lean / pre-commit checks #116: Commit 3900cf8 pushed by oxe-i
16s main
main
16s
Add the booleans concept (#210) Concepts #4: Commit 3900cf8 pushed by oxe-i
8s main
main
8s
Add the booleans concept (#210) shellcheck #116: Commit 3900cf8 pushed by oxe-i
9s main
main
9s
Add the booleans concept (#210) Test #116: Commit 3900cf8 pushed by oxe-i
3m 59s main
main
3m 59s
add numbers concept (#209) Configlet #115: Commit ab05416 pushed by oxe-i
9s main
main
9s
add numbers concept (#209) Test #115: Commit ab05416 pushed by oxe-i
3m 53s main
main
3m 53s
add numbers concept (#209) shellcheck #115: Commit ab05416 pushed by oxe-i
8s main
main
8s
add numbers concept (#209) Concepts #3: Commit ab05416 pushed by oxe-i
10s main
main
10s
add numbers concept (#209) Lean / pre-commit checks #115: Commit ab05416 pushed by oxe-i
17s main
main
17s
line-up: sync tests (#208) Configlet #114: Commit feaf829 pushed by oxe-i
9s main
main
9s
line-up: sync tests (#208) shellcheck #114: Commit feaf829 pushed by oxe-i
11s main
main
11s
line-up: sync tests (#208) Test #114: Commit feaf829 pushed by oxe-i
4m 36s main
main
4m 36s
line-up: sync tests (#208) Concepts #2: Commit feaf829 pushed by oxe-i
9s main
main
9s
line-up: sync tests (#208) Lean / pre-commit checks #114: Commit feaf829 pushed by oxe-i
14s main
main
14s
update LeanTest to prepare for a v3 test-runner (#205) Configlet #113: Commit 94f2686 pushed by oxe-i
8s main
main
8s
update LeanTest to prepare for a v3 test-runner (#205) Test #113: Commit 94f2686 pushed by oxe-i
4m 51s main
main
4m 51s
update LeanTest to prepare for a v3 test-runner (#205) Lean / pre-commit checks #113: Commit 94f2686 pushed by oxe-i
20s main
main
20s
update LeanTest to prepare for a v3 test-runner (#205) Concepts #1: Commit 94f2686 pushed by oxe-i
11s main
main
11s
update LeanTest to prepare for a v3 test-runner (#205) shellcheck #113: Commit 94f2686 pushed by oxe-i
8s main
main
8s
Bump actions/checkout from 7.0.0 to 7.0.1 (#204) Configlet #112: Commit 5500b0b pushed by oxe-i
14s main
main
14s
Bump actions/checkout from 7.0.0 to 7.0.1 (#204) Lean / pre-commit checks #112: Commit 5500b0b pushed by oxe-i
15s main
main
15s
Bump actions/checkout from 7.0.0 to 7.0.1 (#204) Test #112: Commit 5500b0b pushed by oxe-i
3m 51s main
main
3m 51s