diff --git a/.circleci/report-coverage.sh b/.circleci/report-coverage.sh index 935ffb2629beb978c082cdbf190f0806a5437104..d7f8c24eac5379a67b9371edeeaac218728f4377 100755 --- a/.circleci/report-coverage.sh +++ b/.circleci/report-coverage.sh @@ -1,5 +1,5 @@ #! /usr/bin/env nix-shell -#! nix-shell -i bash -p "python.withPackages (ps: [ ps.coverage ])" +#! nix-shell -i bash -p "curl" -p "python.withPackages (ps: [ ps.coverage ])" set -x find ./result-doc/share/doc cp ./result-doc/share/doc/*/.coverage.* ./