From e806d95adba266e9ae6cc482e081ddd6265e7083 Mon Sep 17 00:00:00 2001
From: Simon Gregersen <gregersen@cs.au.dk>
Date: Mon, 18 Sep 2023 17:02:13 +0200
Subject: [PATCH] CI

---
 .github/workflows/build.yml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 78ec06c..2f4fa87 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -28,12 +28,11 @@ jobs:
       with:
         coq_version: ${{ matrix.coq_version }}
         ocaml_version: "4.14.1-flambda"
-        install: ""
+        install: "opam install . --deps-only --yes"
         before_script: |
           sudo chown -R coq:coq . # workaround a permission issue
         script: |
           startGroup Build
-            opam install . --deps-only
             make ci -j2
           endGroup
         uninstall: |