Remove pre-commit github actions and use pre-commit.ci instead (sagem…

…ath#403)
tobiasdiez · Oct 12, 2022 · c9e1230 · c9e1230
1 parent f0c0a64
commit c9e1230
Showing 1 changed file with 0 additions and 18 deletions.
diff --git a/.github/workflows/pre-commit.yml b/.github/workflows/pre-commit.yml