Skip to content

Actions: duckki/leanfmt

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
54 workflow runs
54 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.19 CI #34: Commit 6eb2e06 pushed by duckki
1m 50s main
main
1m 50s
github_actions in /. - Update #1514303830 Dependabot Updates #6: by dependabot Bot
36s main
main
36s
Release v0.2.18 CI #33: Commit 9fc8eb0 pushed by duckki
2m 7s main
main
2m 7s
Release v0.2.17 CI #32: Commit 5728946 pushed by duckki
2m 13s main
main
2m 13s
Release v0.2.15 CI #31: Commit e4c415a pushed by duckki
1m 47s main
main
1m 47s
Release v0.2.14 CI #30: Commit a7ce2f7 pushed by duckki
2m 17s main
main
2m 17s
Release v0.2.13 CI #29: Commit adcfbb1 pushed by duckki
2m 14s main
main
2m 14s
github_actions in /. - Update #1500125638 Dependabot Updates #5: by dependabot Bot
28s main
main
28s
Release v0.2.12 CI #28: Commit 30b5f10 pushed by duckki
2m 9s main
main
2m 9s
Use all CPU cores by default Shellcheck #8: Commit b40811f pushed by duckki
7s main
main
7s
Use all CPU cores by default CI #27: Commit b40811f pushed by duckki
1m 38s main
main
1m 38s
Release v0.2.11 CI #26: Commit ddcf2da pushed by duckki
1m 56s main
main
1m 56s
Move test suite execution out of library elaboration CI #25: Commit df08b11 pushed by duckki
1m 29s main
main
1m 29s
Release v0.2.10 CI #24: Commit 9ce5635 pushed by duckki
1m 48s main
main
1m 48s
Release v0.2.9 CI #23: Commit 601f284 pushed by duckki
2m 32s main
main
2m 32s
Release v0.2.9 Shellcheck #7: Commit 601f284 pushed by duckki
9s main
main
9s
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