build/pre-commit-tooling #3

Merged
marc merged 3 commits from build/pre-commit-tooling into main 2024-11-02 23:16:49 +00:00

3 commits

Author SHA1 Message Date
d420b1dbbe
ci: dupe placeholder workflow for push, add workflow_dispatch
All checks were successful
/ static-analysis (pull_request) Successful in 1m16s
/ tests (pull_request) Successful in 1m15s
/ export-trace (pull_request) Successful in 28s
/ static-analysis (push) Successful in 1m21s
/ tests (push) Successful in 1m19s
/ export-trace (push) Successful in 27s
2024-11-02 19:14:17 -04:00
b141c7b3bb
ci: run pre-commit steps as CI checks
All checks were successful
/ tests (pull_request) Successful in 1m13s
/ static-analysis (pull_request) Successful in 1m22s
/ export-trace (pull_request) Successful in 25s
2024-11-02 19:08:49 -04:00
0cb41563f4
build: add pre-commit, hook set, ensure checks pass 2024-11-02 18:30:39 -04:00