Skip to content

Actions: duckki/leanfmt

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
38 workflow runs
38 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.2.8 Shellcheck #6: Commit 771edce pushed by duckki
7s main
main
7s
Release v0.2.8 CI #22: Commit 771edce pushed by duckki
2m 2s main
main
2m 2s
Release v0.2.7 CI #21: Commit dab2116 pushed by duckki
1m 59s main
main
1m 59s
Release v0.2.6 Shellcheck #5: Commit c1fcf92 pushed by duckki
8s main
main
8s
Release v0.2.6 CI #20: Commit c1fcf92 pushed by duckki
2m 7s main
main
2m 7s
github_actions in /. - Update #1482683049 Dependabot Updates #4: by dependabot Bot
36s main
main
36s
Release v0.2.5 Shellcheck #4: Commit f4b39d8 pushed by duckki
8s main
main
8s
Release v0.2.5 CI #19: Commit f4b39d8 pushed by duckki
1m 39s main
main
1m 39s
Fix compatibility toolchain test CI #18: Commit 28c83d0 pushed by duckki
1m 8s main
main
1m 8s
Release v0.2.4 CI #17: Commit a719c49 pushed by duckki
1m 8s main
main
1m 8s
Release v0.2.3 CI #16: Commit d6bd17f pushed by duckki
1m 26s main
main
1m 26s
Release v0.2.2 CI #15: Commit f85d79b pushed by duckki
1m 21s main
main
1m 21s
Release v0.2.1 CI #14: Commit eba0ba6 pushed by duckki
1m 17s main
main
1m 17s
Release v0.2.0 CI #13: Commit 090af4f pushed by duckki
1m 18s main
main
1m 18s
Release v0.2.0 Shellcheck #3: Commit 090af4f pushed by duckki
8s main
main
8s
Release v0.1.4 CI #12: Commit 4db9c81 pushed by duckki
1m 14s main
main
1m 14s
Release v0.1.3 Shellcheck #2: Commit a9d1ea4 pushed by duckki
11s main
main
11s
Release v0.1.3 CI #11: Commit a9d1ea4 pushed by duckki
1m 26s main
main
1m 26s
Bump actions/checkout from 4 to 7 PR title #6: Pull request #2 synchronize by dependabot Bot
10s dependabot/github_actions/actions/checkout-7
dependabot/github_actions/actions/checkout-7
10s
Bump actions/checkout from 4 to 7 CI #10: Pull request #2 synchronize by dependabot Bot
1m 4s dependabot/github_actions/actions/checkout-7
dependabot/github_actions/actions/checkout-7
1m 4s
Bump actions/checkout from 4 to 7 PR title #5: Pull request #2 edited by dependabot Bot
9s dependabot/github_actions/actions/checkout-7
dependabot/github_actions/actions/checkout-7
9s
Bump actions/checkout from 4 to 7 PR title #4: Pull request #2 edited by dependabot Bot
8s dependabot/github_actions/actions/checkout-7
dependabot/github_actions/actions/checkout-7
8s
Bump actions/checkout from 4 to 7 PR title #3: Pull request #2 edited by dependabot Bot
8s dependabot/github_actions/actions/checkout-7
dependabot/github_actions/actions/checkout-7
8s
github_actions in / for actions/checkout - Update #1471783218 Dependabot Updates #3: by dependabot Bot
43s main
main
43s
Support multiple Lean toolchains CI #9: Commit a420f4e pushed by duckki
1m 9s main
main
1m 9s