diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 39d7449f..6ea31f72 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -103,7 +103,7 @@ jobs: - name: Generate coverage data run: | - # make -j${ncpu} coverage + . ./env.sh make -j${ncpu} coverage-script shell: bash