From 9f5cd979645b87f8f6dcf1eaae6305617bc42fe5 Mon Sep 17 00:00:00 2001
From: Christian Clauss <cclauss@me.com>
Date: Mon, 7 Apr 2025 11:11:15 +0200
Subject: [PATCH] GItHub Actions: No need to run pre-commit twice

pre-commit.ci is running at https://results.pre-commit.ci/repo/github/47154941 so we do not need pre-commit to also be run in GitHub Actions.
---
 .github/workflows/ci.yml | 6 ------
 1 file changed, 6 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 17acf31..166110a 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -10,12 +10,6 @@ concurrency:
   group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
   cancel-in-progress: true
 jobs:
-  pre-commit:
-    runs-on: ubuntu-latest
-    steps:
-      - uses: actions/checkout@v4
-      - run: pipx run pre-commit run --all-files
-
   build-test:
     runs-on: ${{ matrix.os }}
     strategy: