Merge pull request #7686 from obsidiansystems/fix-coverage

Fix the coverage job
This commit is contained in:
Eelco Dolstra 2023-01-25 21:06:51 +01:00 committed by GitHub
commit 33263ee20f
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -465,6 +465,10 @@
src = self; src = self;
configureFlags = [
"CXXFLAGS=-I${lib.getDev pkgs.rapidcheck}/extras/gtest/include"
];
enableParallelBuilding = true; enableParallelBuilding = true;
nativeBuildInputs = nativeBuildDeps; nativeBuildInputs = nativeBuildDeps;