source env before running coverage script
This commit is contained in:
parent
22449fd0a8
commit
3c0445daef
|
@ -103,7 +103,7 @@ jobs:
|
||||||
|
|
||||||
- name: Generate coverage data
|
- name: Generate coverage data
|
||||||
run: |
|
run: |
|
||||||
# make -j${ncpu} coverage
|
. ./env.sh
|
||||||
make -j${ncpu} coverage-script
|
make -j${ncpu} coverage-script
|
||||||
shell: bash
|
shell: bash
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue