diff --git a/.github/workflows/check-pr.yaml b/.github/workflows/check-pr.yaml deleted file mode 100644 index 61a72c0d9..000000000 --- a/.github/workflows/check-pr.yaml +++ /dev/null @@ -1,17 +0,0 @@ -name: Check pull request -on: - pull_request: - types: - - opened - - reopened - - synchronize -jobs: - run_linters: - runs-on: ubuntu-22.04 - steps: - - name: Checkout repository - uses: actions/checkout@v3 - - name: Install pre-commit - run: pip install pre-commit - - name: Run pre-commit checks - run: pre-commit run -a