Skip to content

Actions: duckki/leanfmt

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
48 workflow runs
48 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.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
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