Skip to content

Actions: oxe-i/lean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
336 workflow runs
336 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add approaches and article to difference-of-squares (#160) Configlet #83: Commit 355576e pushed by oxe-i
11s main
main
11s
add approaches and article to difference-of-squares (#160) Lean / pre-commit checks #83: Commit 355576e pushed by oxe-i
15s main
main
15s
add approaches and article to difference-of-squares (#160) shellcheck #83: Commit 355576e pushed by oxe-i
10s main
main
10s
add approaches and article to difference-of-squares (#160) Test #83: Commit 355576e pushed by oxe-i
3m 17s main
main
3m 17s
Adjust appends (#159) Configlet #82: Commit 615ce71 pushed by oxe-i
11s main
main
11s
Adjust appends (#159) shellcheck #82: Commit 615ce71 pushed by oxe-i
7s main
main
7s
Adjust appends (#159) Test #82: Commit 615ce71 pushed by oxe-i
3m 17s main
main
3m 17s
Adjust appends (#159) Lean / pre-commit checks #82: Commit 615ce71 pushed by oxe-i
14s main
main
14s
update CONTRIBUTING.md, add doc for the generator (#153) Configlet #81: Commit f8df0ce pushed by oxe-i
14s main
main
14s
update CONTRIBUTING.md, add doc for the generator (#153) shellcheck #81: Commit f8df0ce pushed by oxe-i
19s main
main
19s
update CONTRIBUTING.md, add doc for the generator (#153) Test #81: Commit f8df0ce pushed by oxe-i
3m 27s main
main
3m 27s
update CONTRIBUTING.md, add doc for the generator (#153) Lean / pre-commit checks #81: Commit f8df0ce pushed by oxe-i
18s main
main
18s
Add kindergarten-garden (#152) Configlet #80: Commit a29e182 pushed by oxe-i
13s main
main
13s
Add kindergarten-garden (#152) shellcheck #80: Commit a29e182 pushed by oxe-i
15s main
main
15s
Add kindergarten-garden (#152) Test #80: Commit a29e182 pushed by oxe-i
3m 13s main
main
3m 13s
Add kindergarten-garden (#152) Lean / pre-commit checks #80: Commit a29e182 pushed by oxe-i
17s main
main
17s
add custom-set (#151) Configlet #79: Commit d7960a8 pushed by oxe-i
7s main
main
7s
add custom-set (#151) shellcheck #79: Commit d7960a8 pushed by oxe-i
8s main
main
8s
add custom-set (#151) Test #79: Commit d7960a8 pushed by oxe-i
3m 14s main
main
3m 14s
add custom-set (#151) Lean / pre-commit checks #79: Commit d7960a8 pushed by oxe-i
18s main
main
18s
launch track (#150) Configlet #78: Commit 66d0a5a pushed by oxe-i
9s main
main
9s
launch track (#150) Test #78: Commit 66d0a5a pushed by oxe-i
3m 8s main
main
3m 8s
launch track (#150) Lean / pre-commit checks #78: Commit 66d0a5a pushed by oxe-i
18s main
main
18s
launch track (#150) shellcheck #78: Commit 66d0a5a pushed by oxe-i
8s main
main
8s
Tools Tools #2: Scheduled
32s main
main
32s