diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 159af218..31e2c324 100644 --- 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 index f6cec6da..90b5c0d2 100644 --- 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"} ]