Update doc.yml

LPCIC · Sep 20, 2024 · 8550a8c · 8550a8c
1 parent ef32b76
commit 8550a8c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/doc.yml b/.github/workflows/doc.yml
@@ -34,7 +34,7 @@ jobs:
         opam repo add coq-dev https://coq.inria.fr/opam/core-dev
         opam repo add extra-dev https://coq.inria.fr/opam/extra-dev
         opam update
-        opam install coq-serapi.8.20.0+0.20.0 ./coq-elpi.opam coq-core.8.20
+        opam install coq-serapi.8.20.0+0.20.0 ./coq-elpi.opam coq-core.8.20.0
         sudo apt-get update
         sudo apt-get install python3-pip -y
         pip3 install git+https://github.com/cpitclaudel/alectryon.git@c8ab1ec