Use MetaCoq's git version for testing for now

yforster · Jul 22, 2024 · b2f0184 · b2f0184
1 parent d6ea357
commit b2f0184
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -33,6 +33,7 @@ jobs:
               sudo chown -R coq:coq .
             endGroup
             startGroup "opam pin"
+              opam pin -n -y "https://github.com/MetaCoq/metacoq.git#coq-8.19"
               opam pin -n -y "https://github.com/stedolan/malfunction.git#master"
             endGroup
             startGroup "install dependencies for benchmarks"

diff --git a/coq-verified-extraction.opam b/coq-verified-extraction.opam
@@ -17,7 +17,7 @@ install: [
 depends: [
   "coq" { >= "8.19" & < "8.20~" }
   "coq-ceres" {= "0.4.1"}
-  "coq-metacoq-erasure-plugin"
+  "coq-metacoq-erasure-plugin" { = "8.19.dev" }
   # "malfunction" {= "0.6" }
 ]