Skip to content
SAWScript

Fix the way compute-coverage finds the hpc dir in dist-newstyle #3761

Sign in to view logs

Fix the way compute-coverage finds the hpc dir in dist-newstyle

Fix the way compute-coverage finds the hpc dir in dist-newstyle #3761

cabal-test (cryptol-saw-core-tc-test, ubuntu-22.04, false)

cabal-test (cryptol-saw-core-tc-test, ubuntu-22.04, false)
succeeded Sep 13, 2024 in 46s