diff options
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/run-checker-merge.yml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.github/workflows/run-checker-merge.yml b/.github/workflows/run-checker-merge.yml index 0f29cf7a80..534c28da69 100644 --- a/.github/workflows/run-checker-merge.yml +++ b/.github/workflows/run-checker-merge.yml @@ -18,14 +18,14 @@ jobs: fail-fast: false matrix: opt: [ - enable-asan enable-ubsan no-shared no-asm -DOPENSSL_SMALL_FOOTPRINT, + enable-asan enable-ubsan no-shared no-asm -DOPENSSL_SMALL_FOOTPRINT -fno-sanitize=function, no-dso, no-dynamic-engine, no-ec2m enable-fips, no-engine no-shared, no-err, no-filenames, - enable-ubsan no-asm -DOPENSSL_SMALL_FOOTPRINT -fno-sanitize=alignment, + enable-ubsan no-asm -DOPENSSL_SMALL_FOOTPRINT -fno-sanitize=function, no-module, no-ocsp, no-pinshared, |