Tweak CI

Author: andrew-appel

.github/workflows/coq-action.yml

@@ -51,7 +51,7 @@ jobs:
           install: |
             startGroup "Install dependencies"
               opam install -y coq-stdlib
-              opam install -y ${{ matrix.coq_version == 'dev' && 'coq-flocq' || matrix.bit_size == 32 && 'coq-compcert-32.3.16' || 'coq-compcert.3.16' }}
+              opam install -y ${{ matrix.coq_version == 'dev' && 'coq-flocq' || matrix.bit_size == 64 && 'coq-compcert.3.16' }}
               # Required by test2
               opam install -y coq-ext-lib
               opam install -y coq-paco
@@ -63,9 +63,7 @@ jobs:
             endGroup
           script: |
             startGroup "Build & Install"
-              # put the first version back once CompCert 3.16 is in the Coq Platform
-              # make ${{matrix.make_target}} BITSIZE=${{matrix.bit_size}} COMPCERT=${{ matrix.coq_version=='dev' && 'bundled' || 'platform' }} IGNORECOQVERSION=true IGNORECOMPCERTVERSION=true
-              make ${{matrix.make_target}} BITSIZE=${{matrix.bit_size}} COMPCERT=bundled IGNORECOQVERSION=true IGNORECOMPCERTVERSION=true
+              make ${{matrix.make_target}} BITSIZE=${{matrix.bit_size}} COMPCERT=${{ matrix.bit_size==64 && 'platform' || 'bundled' }} IGNORECOQVERSION=true IGNORECOMPCERTVERSION=true
             endGroup
           after_script: |
             startGroup 'Copy Opam coq/user-contrib and coq-variant'