From 8c0b85272c9c2a4d9e07bc86c5a628c55bf1fbca Mon Sep 17 00:00:00 2001 From: dundargoc Date: Sun, 1 Oct 2023 15:20:32 +0200 Subject: ci: run sanitizer on head branch instead of merge branch --- .github/workflows/sanitizer.yml | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) (limited to '.github/workflows') diff --git a/.github/workflows/sanitizer.yml b/.github/workflows/sanitizer.yml index 03d9f520..89fd51e3 100644 --- a/.github/workflows/sanitizer.yml +++ b/.github/workflows/sanitizer.yml @@ -3,12 +3,11 @@ on: [pull_request] jobs: disallowed-root-checker: runs-on: ubuntu-latest - env: - GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} steps: - uses: actions/checkout@v4 with: fetch-depth: 0 + ref: ${{ github.event.pull_request.head.sha }} - run: | if ! bash .github/ci/run_sanitizer.sh ${{ github.event.pull_request.base.sha }} ${{ github.event.pull_request.head.sha }}; then exit 1 -- cgit v1.2.3-70-g09d2