diff options
Diffstat (limited to '.github/workflows/sanitizer.yml')
| -rw-r--r-- | .github/workflows/sanitizer.yml | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/.github/workflows/sanitizer.yml b/.github/workflows/sanitizer.yml deleted file mode 100644 index 89fd51e3..00000000 --- a/.github/workflows/sanitizer.yml +++ /dev/null @@ -1,14 +0,0 @@ -name: "Dirname Checker" -on: [pull_request] -jobs: - disallowed-root-checker: - runs-on: ubuntu-latest - 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 - fi |