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 /.devops | |
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 '.devops')
0 files changed, 0 insertions, 0 deletions