Merge pull request #101 from CertiCoq/docker-metacoq-1.3.2

Update build.yml and .opam file to use released MetaCoq 1.3.2 and cor…
CertiCoq · Aug 21, 2024 · 7af861a · 7af861a
2 parents 7a908bc + 9a468ae
commit 7af861a
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 8 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -1,10 +1,9 @@
-name: Test compilation
+name: Compile and bench
 
 on:
   push:
     branches:
       - master
-      - coq-8.17
   pull_request:
     branches:
       - "**"
@@ -19,7 +18,7 @@ jobs:
         opam_file:
           - 'coq-certicoq.opam'
         image:
-          - 'yforster/coq:8.19.1--clang-11--compcert-3.13.1--extlib-0.12.1--equations-1.3--metacoq-1.3.1'
+          - 'mattam82/metacoq:metacoq-1.3.2-coq-8.19'
       fail-fast: false  # don't stop jobs if one fails
     steps:
       - uses: actions/checkout@v3
@@ -33,9 +32,9 @@ jobs:
             startGroup "fix permission issues"
               sudo chown -R coq:coq .
             endGroup
-            startGroup "opam pin"
-              opam pin -n -y submodules/metacoq
-            endGroup
+            # startGroup "opam pin"
+            #   opam pin -n -y submodules/metacoq
+            # endGroup
           before_script: |
             startGroup "fix permission issues"
               sudo chown -R coq:coq .

diff --git a/coq-certicoq.opam b/coq-certicoq.opam
@@ -36,8 +36,8 @@ depends: [
   "coq" {>= "8.19" & < "8.20~"}
   "coq-compcert" {= "3.13.1"}
   "coq-equations" {= "1.3+8.19"}
-  "coq-metacoq-erasure-plugin" {= "8.19.dev"}
-  "coq-metacoq-safechecker-plugin" {= "8.19.dev"}
+  "coq-metacoq-erasure-plugin" {= "1.3.2+8.19"}
+  "coq-metacoq-safechecker-plugin" {= "1.3.2+8.19"}
   "coq-ext-lib" {>= "0.12"}
 ]