Skip to content

Commit 6224709

Browse files
authored
Merge pull request #516 from KFilipek/coverity_fix
[CI] Coverity missing flag during CMake build
2 parents 0660c56 + 0fd504d commit 6224709

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

.github/workflows/coverity.yml

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -43,6 +43,7 @@ jobs:
4343
-DCMAKE_BUILD_TYPE=Release
4444
-DUMF_FORMAT_CODE_STYLE=OFF
4545
-DUMF_DEVELOPER_MODE=OFF
46+
-DUMF_TESTS_FAIL_ON_SKIP=ON
4647
-DUMF_BUILD_LIBUMF_POOL_SCALABLE=ON
4748
-DUMF_BUILD_LIBUMF_POOL_DISJOINT=ON
4849
-DUMF_BUILD_LIBUMF_POOL_JEMALLOC=ON

0 commit comments

Comments
 (0)