Update build.yml and opam file for 8.18

CertiCoq · Mar 27, 2024 · 04f6bd4 · 04f6bd4
1 parent 732485e
commit 04f6bd4
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 6 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -5,6 +5,7 @@ on:
  branches:
  - master
  - coq-8.17
+ - coq-8.18
  pull_request:
  branches:
  - "**"
@@ -19,7 +20,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'
+ - 'yforster/coq:8.18.0--clang-11--compcert-3.13.1--extlib-0.11.8--equations-1.3--metacoq-1.3.1'
  fail-fast: false # don't stop jobs if one fails
  steps:
  - uses: actions/checkout@v3

diff --git a/coq-certicoq.opam b/coq-certicoq.opam
@@ -1,5 +1,5 @@
 opam-version: "2.0"
-version: "dev+8.19"
+version: "dev+8.18"
 maintainer: "The CertiCoq Team"
 homepage: "https://certicoq.org/"
 dev-repo: "git+https://github.com/CertiCoq/certicoq"
@@ -33,11 +33,11 @@ depends: [
  "ocaml"
  "conf-clang"
  "stdlib-shims"
- "coq" {>= "8.19" & < "8.20~"}
+ "coq" {>= "8.18" & < "8.19~"}
  "coq-compcert" {= "3.13.1"}
- "coq-equations" {= "1.3+8.19"}
- "coq-metacoq-erasure-plugin" {= "1.3.1+8.19"}
- "coq-metacoq-safechecker-plugin" {= "1.3.1+8.19"}
+ "coq-equations" {= "1.3+8.18"}
+ "coq-metacoq-erasure-plugin" {= "1.3.1+8.18"}
+ "coq-metacoq-safechecker-plugin" {= "1.3.1+8.18"}
  "coq-ext-lib" {>= "0.12"}
 ]