Skip to content

Actions: duckki/leanfmt

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
101 workflow runs
101 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
github_actions in /. - Update #1559177422 Dependabot Updates #10: by dependabot Bot
39s main
main
39s
Release v0.4.1 CI #64: Commit 40c0a16 pushed by duckki
3m 55s main
main
3m 55s
Release v0.4.0 CI #63: Commit a34b6f3 pushed by duckki
3m 53s main
main
3m 53s
Release v0.3.9 CI #62: Commit b10e11a pushed by duckki
3m 24s main
main
3m 24s
github_actions in /. - Update #1545372348 Dependabot Updates #9: by dependabot Bot
27s main
main
27s
Release v0.3.8 CI #61: Commit d241615 pushed by duckki
3m 14s main
main
3m 14s
Release v0.3.7 CI #60: Commit a259370 pushed by duckki
3m 17s main
main
3m 17s
Release v0.3.6 CI #59: Commit 00876e8 pushed by duckki
2m 59s main
main
2m 59s
github_actions in /. - Update #1536644484 Dependabot Updates #8: by dependabot Bot
42s main
main
42s
Release v0.3.5 Shellcheck #11: Commit 987e148 pushed by duckki
8s main
main
8s
Release v0.3.5 CI #58: Commit 987e148 pushed by duckki
3m 7s main
main
3m 7s
github_actions in /. - Update #1526735328 Dependabot Updates #7: by dependabot Bot
38s main
main
38s
test: stabilize CI test harness CI #57: Commit 8288a95 pushed by duckki
2m 26s main
main
2m 26s
test(cli): avoid subprocess suite hang PR title #16: Pull request #3 synchronize by duckki
8s fix/ci-test-harness
fix/ci-test-harness
8s
test(cli): avoid subprocess suite hang CI #56: Pull request #3 synchronize by duckki
2m 21s fix/ci-test-harness
fix/ci-test-harness
2m 21s
test(cli): avoid subprocess suite hang PR title #15: Pull request #3 synchronize by duckki
12s fix/ci-test-harness
fix/ci-test-harness
12s
test(cli): avoid subprocess suite hang CI #55: Pull request #3 synchronize by duckki
1m 38s fix/ci-test-harness
fix/ci-test-harness
1m 38s
test(cli): avoid subprocess suite hang PR title #14: Pull request #3 synchronize by duckki
7s fix/ci-test-harness
fix/ci-test-harness
7s
test(cli): avoid subprocess suite hang CI #54: Pull request #3 synchronize by duckki
2m 6s fix/ci-test-harness
fix/ci-test-harness
2m 6s
test(cli): avoid subprocess suite hang CI #53: Pull request #3 synchronize by duckki
2m 26s fix/ci-test-harness
fix/ci-test-harness
2m 26s
test(cli): avoid subprocess suite hang PR title #13: Pull request #3 synchronize by duckki
5s fix/ci-test-harness
fix/ci-test-harness
5s
test(cli): avoid subprocess suite hang PR title #12: Pull request #3 synchronize by duckki
7s fix/ci-test-harness
fix/ci-test-harness
7s
test(cli): avoid subprocess suite hang CI #52: Pull request #3 synchronize by duckki
2m 35s fix/ci-test-harness
fix/ci-test-harness
2m 35s
test(cli): avoid subprocess suite hang CI #51: Pull request #3 synchronize by duckki
1m 40s fix/ci-test-harness
fix/ci-test-harness
1m 40s
test(cli): avoid subprocess suite hang PR title #11: Pull request #3 synchronize by duckki
7s fix/ci-test-harness
fix/ci-test-harness
7s