From 03e46e841a5c0e5f0ca974f3015cbdebdad94a57 Mon Sep 17 00:00:00 2001 From: Roberto Alfieri Date: Wed, 20 Sep 2023 22:22:28 +0200 Subject: [PATCH] Removed check-pr github workflow Signed-off-by: Roberto Alfieri --- .github/workflows/check-pr.yaml | 17 ----------------- 1 file changed, 17 deletions(-) delete mode 100644 .github/workflows/check-pr.yaml 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