From c261980b67f6923917138ecd6586363c81f859c0 Mon Sep 17 00:00:00 2001
From: Karl Palmskog <palmskog@gmail.com>
Date: Sun, 14 Jan 2024 21:19:40 +0100
Subject: [PATCH] deployment adjustment

---
 .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 224ffee..76acbd0 100644
--- a/.github/workflows/deploy-docs.yml
+++ b/.github/workflows/deploy-docs.yml
@@ -25,7 +25,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 .