Skip to content

CI: Leave running pre-commit to pre-commit.ci#353

Merged
mjpieters merged 1 commit intomasterfrom ci_pre_commitNov 8, 2022
+3-3

Commits