From 8550a8c2584711cf1075d5bed5ba4b8125555755 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Fri, 20 Sep 2024 08:25:36 +0200 Subject: [PATCH] Update doc.yml --- .github/workflows/doc.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/doc.yml b/.github/workflows/doc.yml index 3285fa163..1474d7b47 100644 --- 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