From b62006e9157f581d563a1f13da1fd3efee63d510 Mon Sep 17 00:00:00 2001 From: Johannes Marbach Date: Wed, 8 Feb 2023 13:10:25 +0100 Subject: [PATCH] Checkout PR head for strict error checker --- .github/workflows/static_analysis.yaml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/.github/workflows/static_analysis.yaml b/.github/workflows/static_analysis.yaml index 0b8fcfa5c8..026725b6a3 100644 --- a/.github/workflows/static_analysis.yaml +++ b/.github/workflows/static_analysis.yaml @@ -52,6 +52,8 @@ jobs: - "--noImplicitAny" steps: - uses: actions/checkout@v3 + with: + ref: ${{ github.event.pull_request.head.sha }} - name: Install Deps run: "scripts/ci/layered.sh"