From f45a7d53180faf6ed59e1f808ed3b71d849a61f7 Mon Sep 17 00:00:00 2001
From: Karl Palmskog <palmskog@gmail.com>
Date: Sun, 14 Jan 2024 21:28:36 +0100
Subject: [PATCH] fix deployment install

---
 .github/workflows/deploy-docs.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/deploy-docs.yml b/.github/workflows/deploy-docs.yml
index bbbe09c..cb6f616 100644
--- a/.github/workflows/deploy-docs.yml
+++ b/.github/workflows/deploy-docs.yml
@@ -26,7 +26,7 @@ jobs:
               opam pin add -n -y -k path coq-abs-metatheory .
               opam update -y
               opam install -y -j "$(nproc)" coq-abs-metatheory --deps-only
-              opam install -y -j "$(nproc)" ott conf-texlive
+              opam install --confirm-level=unsafe-yes -j "$(nproc)" ott conf-texlive
             endGroup
             startGroup "Add permissions"
               sudo chown -R coq:coq .