chore: ignore artefact if not present (#11661)

This commit is contained in:
Marko 2022-04-17 12:46:43 +02:00 committed by GitHub
parent 0a3da0d50c
commit 1fe72ccd3a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 0 deletions

View File

@ -156,6 +156,7 @@ jobs:
with:
name: "${{ github.sha }}-go-submodules-coverage"
if: env.GIT_DIFF
continue-on-error: true
- run: |
cat ./*profile.out | grep -v "mode: atomic" >> coverage.txt
if: env.GIT_DIFF