diff options
-rw-r--r-- | .github/workflows/run-checker-merge.yml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/.github/workflows/run-checker-merge.yml b/.github/workflows/run-checker-merge.yml index ff2d666b6d..29419a2396 100644 --- a/.github/workflows/run-checker-merge.yml +++ b/.github/workflows/run-checker-merge.yml @@ -16,7 +16,8 @@ jobs: no-engine no-shared, no-err, no-filenames, - enable-ubsan no-asm -DPEDANTIC -DOPENSSL_SMALL_FOOTPRINT -fno-sanitize=alignment, +# ubsan build is temporarily disabled, due to failures to be investigated separately +# enable-ubsan no-asm -DPEDANTIC -DOPENSSL_SMALL_FOOTPRINT -fno-sanitize=alignment, no-unit-test, enable-weak-ssl-ciphers, enable-zlib, |