Skip to content

Commit 217c00d

Browse files
Merge pull request #290 from ldorau/Fix_failing_Coverity_build
Fix failing Coverity build
2 parents df7d857 + 1ec24da commit 217c00d

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
@@ -41,6 +41,7 @@ jobs:
4141
-DUMF_FORMAT_CODE_STYLE=OFF
4242
-DUMF_DEVELOPER_MODE=OFF
4343
-DUMF_ENABLE_POOL_TRACKING=ON
44+
-DUMF_BUILD_LEVEL_ZERO_PROVIDER=OFF
4445
-DUMF_BUILD_LIBUMF_POOL_SCALABLE=ON
4546
-DUMF_BUILD_LIBUMF_POOL_DISJOINT=ON
4647
-DUMF_BUILD_LIBUMF_POOL_JEMALLOC=ON

0 commit comments

Comments
 (0)