diff --git a/.github/workflows/pull_request.yml b/.github/workflows/pull_request.yml index 53caf7fb9..a8d679354 100644 --- a/.github/workflows/pull_request.yml +++ b/.github/workflows/pull_request.yml @@ -14,6 +14,7 @@ jobs: pull-requests: write contents: read strategy: + fail-fast: false matrix: include: # compiling for arm32 needs a self-hosted runner on Raspi OS (32-bit)