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