ci: remove custom lint job

afuetterer · Nov 9, 2023 · dcc7fec · dcc7fec
1 parent 2849e42
commit dcc7fec
Showing 1 changed file with 1 addition and 4 deletions.
diff --git 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) }}