mirror of
https://github.com/zama-ai/concrete.git
synced 2026-02-08 19:44:57 -05:00
chore: do not fail on PR coverage comment
- had the case for whatever reason. Let's harden our workflow some more
This commit is contained in:
@@ -275,6 +275,7 @@ jobs:
|
||||
- name: Comment with coverage
|
||||
uses: marocchino/sticky-pull-request-comment@82e7a0d3c51217201b3fedc4ddde6632e969a477
|
||||
if: ${{ steps.coverage.outcome != 'skipped' && !cancelled() }}
|
||||
continue-on-error: true
|
||||
with:
|
||||
path: diff-coverage.txt
|
||||
recreate: true
|
||||
|
||||
Reference in New Issue
Block a user