tweak CI

PrincetonUniversity · Jul 25, 2024 · 2f2bcee · 2f2bcee
1 parent a2c02ce
commit 2f2bcee
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/coq-action.yml b/.github/workflows/coq-action.yml
@@ -64,8 +64,8 @@ jobs:
             endGroup
           script: |
             startGroup "Build & Install"
-# put the first version back once CompCert 3.15 is in the Coq Platform
-#              make ${{matrix.make_target}} BITSIZE=${{matrix.bit_size}} COMPCERT=${{ matrix.coq_version=='dev' && 'bundled' || 'platform' }} IGNORECOQVERSION=true IGNORECOMPCERTVERSION=true
+              # put the first version back once CompCert 3.15 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
             endGroup
           after_script: |