From dcc7feca35212302eda9bdfaeda560fcf590b6bf Mon Sep 17 00:00:00 2001
From: Heinz-Alexander Fuetterer <fuetterh@posteo.de>
Date: Tue, 7 Nov 2023 20:45:02 +0100
Subject: [PATCH] ci: remove custom lint job

---
 .github/workflows/pr.yml | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/.github/workflows/pr.yml b/.github/workflows/pr.yml
index 99f5434..87809e7 100644
--- a/.github/workflows/pr.yml
+++ b/.github/workflows/pr.yml
@@ -17,8 +17,6 @@ permissions:
   contents: read
 
 jobs:
-  lint:
-    uses: ./.github/workflows/lint.yml
   test:
     uses: ./.github/workflows/test.yml
   docs:
@@ -28,11 +26,10 @@ jobs:
   required-checks-pass:
     if: always()
     needs:
-    - lint
     - test
     - docs
     runs-on: ubuntu-22.04
     steps:
-    - uses: re-actors/alls-green@05ac9388f0aebcb5727afa17fcccfecd6f8ec5fe   # v1.2.2
+    - uses: re-actors/alls-green@05ac9388f0aebcb5727afa17fcccfecd6f8ec5fe # v1.2.2
       with:
         jobs: ${{ toJSON(needs) }}