Use MetaCoq's git version for testing for now

yforster · Jul 22, 2024 · 2597fdd · 2597fdd
1 parent d6ea357
commit 2597fdd
Showing 1 changed file with 1 addition and 0 deletions.
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"