ci: skip coveralls if no coverdata found
This commit is contained in:
parent
bd1c4f9e62
commit
1f8ef341d6
|
@ -78,7 +78,9 @@ jobs:
|
||||||
ENABLE_COVER_COMPILE: 1
|
ENABLE_COVER_COMPILE: 1
|
||||||
CT_COVER_EXPORT_PREFIX: ${{ matrix.profile }}-${{ matrix.otp }}
|
CT_COVER_EXPORT_PREFIX: ${{ matrix.profile }}-${{ matrix.otp }}
|
||||||
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
|
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
|
||||||
run: make coveralls
|
run: |
|
||||||
|
stat -t -- './_build/test/cover/*.coverdata' >/dev/null 2>&1 || exit 0
|
||||||
|
make coveralls
|
||||||
|
|
||||||
- name: get coveralls logs
|
- name: get coveralls logs
|
||||||
if: failure()
|
if: failure()
|
||||||
|
|
Loading…
Reference in New Issue