diff options
author | anzz1 <anzz1@live.com> | 2023-03-26 00:13:28 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-03-26 00:13:28 +0200 |
commit | 19726169b379bebc96189673a19b89ab1d307659 (patch) | |
tree | 13801392181001151463e137f814f704ddaf4bc1 /.github | |
parent | f732695cd57fb41e3a1be625cec4edf5be45b40a (diff) |
CI: Run other sanitizer builds even if one fails (#511)
applies only to sanitizer builds so they wont be cancelled
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/build.yml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 126e1e6..2538d85 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -67,6 +67,8 @@ jobs: ubuntu-latest-cmake-sanitizer: runs-on: ubuntu-latest + continue-on-error: true + strategy: matrix: sanitizer: [ADDRESS, THREAD, UNDEFINED] |