Skip to content

Actions: duckki/leanfmt

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
92 workflow runs
92 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
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
test(cli): avoid subprocess suite hang CI #50: Pull request #3 synchronize by duckki
1m 41s fix/ci-test-harness
fix/ci-test-harness
1m 41s
test(cli): avoid subprocess suite hang PR title #10: Pull request #3 synchronize by duckki
7s fix/ci-test-harness
fix/ci-test-harness
7s
test(cli): avoid subprocess suite hang CI #49: Pull request #3 synchronize by duckki
1m 32s fix/ci-test-harness
fix/ci-test-harness
1m 32s
test(cli): avoid subprocess suite hang PR title #9: Pull request #3 synchronize by duckki
9s fix/ci-test-harness
fix/ci-test-harness
9s
test(cli): avoid subprocess suite hang PR title #8: Pull request #3 edited by duckki
6s fix/ci-test-harness
fix/ci-test-harness
6s
test(cli): avoid subprocess suite hang PR title #7: Pull request #3 opened by duckki
5s fix/ci-test-harness
fix/ci-test-harness
5s
test(cli): avoid subprocess suite hang CI #48: Pull request #3 opened by duckki
1m 27s fix/ci-test-harness
fix/ci-test-harness
1m 27s
Keep CLI directory tests in-process CI #47: Commit e0d0420 pushed by duckki
3m 23s main
main
3m 23s
Keep CLI test scratch outside Lake cache CI #46: Commit 7980c93 pushed by duckki
2m 10s main
main
2m 10s