From 27ddefbf0210b95e5ed51f6caf54590978ac6cd8 Mon Sep 17 00:00:00 2001
From: Lily Brown <lbrown@roblox.com>
Date: Thu, 3 Mar 2022 14:32:22 -0800
Subject: [PATCH] drop verbosity to 2

---
 .github/workflows/prototyping.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/prototyping.yml b/.github/workflows/prototyping.yml
index 733c5720..83150b2b 100644
--- a/.github/workflows/prototyping.yml
+++ b/.github/workflows/prototyping.yml
@@ -33,8 +33,8 @@ jobs:
     - name: cabal install
       working-directory: prototyping
       run: |
-        cabal install Agda-${{ env.AGDA_VERSION }} --index-state=${{ env.INDEX_STATE }} --verbose=3
-        cabal install --lib scientific vector aeson --package-env . --index-state=${{ env.INDEX_STATE }} --verbose=3
+        cabal install Agda-${{ env.AGDA_VERSION }} --index-state=${{ env.INDEX_STATE }} --verbose=2
+        cabal install --lib scientific vector aeson --package-env . --index-state=${{ env.INDEX_STATE }} --verbose=2
     - name: check targets
       working-directory: prototyping
       run: |