From 674b86cf62ee1605b59ec1f4791a4939147c2653 Mon Sep 17 00:00:00 2001
From: Arthur Meyre <arthur.meyre@zama.ai>
Date: Thu, 7 Oct 2021 14:48:14 +0200
Subject: [PATCH] chore: do not fail on PR coverage comment

- had the case for whatever reason. Let's harden our workflow some more
---
 .github/workflows/continuous-integration.yaml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/continuous-integration.yaml b/.github/workflows/continuous-integration.yaml
index 4799229e5..2241299cd 100644
--- a/.github/workflows/continuous-integration.yaml
+++ b/.github/workflows/continuous-integration.yaml
@@ -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