Skip to content

Commit 2b87478

Browse files
authored
Enable Code Coverare Report for plutus-metatheory (#7100)
1 parent f70b27f commit 2b87478

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

nix/project.nix

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -21,6 +21,7 @@ let
2121
ghc98.compiler-nix-name = "ghc98";
2222
ghc910.compiler-nix-name = "ghc910";
2323
ghc96-coverage.modules = [{
24+
packages.plutus-metatheory.doCoverage = true;
2425
packages.plutus-core.doCoverage = true;
2526
packages.plutus-core.configureFlags = [ "--ghc-option=-D__HPC_ENABLED__" ];
2627
}];

0 commit comments

Comments
 (0)