From e5c342d499e08fd143f58372062fa3e195b73d18 Mon Sep 17 00:00:00 2001
From: Ben Caldwell <caldwellb@uchicago.edu>
Date: Tue, 9 May 2023 18:08:26 -0500
Subject: [PATCH] CI fix attempt #43

---
 .github/workflows/coq-action.yml | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/coq-action.yml b/.github/workflows/coq-action.yml
index b0ce526..6ff9f46 100644
--- a/.github/workflows/coq-action.yml
+++ b/.github/workflows/coq-action.yml
@@ -51,5 +51,12 @@ jobs:
           opam_file: 'coq-voqc.opam'
           coq_version: ${{ matrix.coq_version }}
           ocaml_version: ${{ matrix.ocaml_version }}
-          before_install: opam pin add coq-sqir . -y
+          before_install: opam pin add -n -y -k path coq-sqir . 
+          install:  startGroup "Install dependencies"
+                      sudo apt-get update -y -q
+                      opam pin add -n -y -k path $PACKAGE $WORKDIR
+                      opam update -y
+                      opam install --confirm-level=unsafe-yes -j 2 $PACKAGE --deps-only
+                    endGroup
+