ci: skip coveralls if no coverdata found

This commit is contained in:
Ivan Dyachkov 2024-05-07 19:48:09 +02:00
parent 1f8ef341d6
commit 6a3560868f
1 changed files with 4 additions and 4 deletions

View File

@ -78,9 +78,7 @@ 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: | run: make coveralls
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()
@ -234,7 +232,9 @@ jobs:
ENABLE_COVER_COMPILE: 1 ENABLE_COVER_COMPILE: 1
CT_COVER_EXPORT_PREFIX: ${{ matrix.profile }}-${{ matrix.otp }}-sg${{ matrix.suitegroup }} CT_COVER_EXPORT_PREFIX: ${{ matrix.profile }}-${{ matrix.otp }}-sg${{ matrix.suitegroup }}
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()