From b3eed7d513b1fe07da9b789402fa44bef6861fb7 Mon Sep 17 00:00:00 2001
From: Ben Caldwell <caldwellb@uchicago.edu>
Date: Tue, 9 May 2023 16:41:27 -0500
Subject: [PATCH] CI fix attempt #40

---
 .github/workflows/coq-action.yml | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/.github/workflows/coq-action.yml b/.github/workflows/coq-action.yml
index 72b1cd9..ff125ad 100644
--- a/.github/workflows/coq-action.yml
+++ b/.github/workflows/coq-action.yml
@@ -52,10 +52,7 @@ jobs:
           coq_version: ${{ matrix.coq_version }}
           ocaml_version: ${{ matrix.ocaml_version }}
           before_install:
-            'startGroup "Print opam config"
-              opam config list; opam repo list; opam list
-            endGroup
-            startGroup "Install SQIR"
+            'startGroup "Install dependency"
               opam pin add coq-sqir .
             endGroup'