Tweak CI

Author: andrew-appel

.github/workflows/coq-action.yml

@@ -51,7 +51,8 @@ jobs:
           install: |
             startGroup "Install dependencies"
               opam install -y coq-stdlib
-              opam install -y ${{ matrix.coq_version == 'dev' && 'coq-flocq' || matrix.bit_size == 64 && 'coq-compcert.3.16' }}
+              opam install -y ${{ matrix.coq_version == 'dev' && 'coq-flocq' }} || exit_code=$?
+              opam install -y ${{ matrix.coq_version != 'dev' && matrix.bit_size == 64 && 'coq-compcert.3.16' }} || exit_code=$?
               # Required by test2
               opam install -y coq-ext-lib
               opam install -y coq-paco
@@ -63,6 +64,7 @@ jobs:
             endGroup
           script: |
             startGroup "Build & Install"
+
               make ${{matrix.make_target}} BITSIZE=${{matrix.bit_size}} COMPCERT=${{ matrix.bit_size==64 && 'platform' || 'bundled' }} IGNORECOQVERSION=true IGNORECOMPCERTVERSION=true
             endGroup
           after_script: |