diff --git a/.github/workflows/coq.yml b/.github/workflows/coq.yml
index 9d359470f5..230c83d187 100644
--- a/.github/workflows/coq.yml
+++ b/.github/workflows/coq.yml
@@ -12,6 +12,7 @@ jobs:
     runs-on: ubuntu-20.04
 
     strategy:
+      fail-fast: false
       matrix:
         env:
         - { COQ_VERSION: "master", COQ_PACKAGE: "coq"       , PPA: "ppa:jgross-h/coq-master-daily"            , SKIP_DISPLAY_TEST: "1", CC: "gcc", ALLOW_DIFF: ""  }