From 310813801c756fa2dbb4511ef19bb9acee54b2d8 Mon Sep 17 00:00:00 2001 From: "ajeffrey@roblox.com" Date: Fri, 8 Apr 2022 19:08:43 -0500 Subject: [PATCH] Try --allow-newer again --- .github/workflows/prototyping.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/prototyping.yml b/.github/workflows/prototyping.yml index 0f2aa5b6..d5fbfbf5 100644 --- a/.github/workflows/prototyping.yml +++ b/.github/workflows/prototyping.yml @@ -34,8 +34,8 @@ jobs: - name: cabal install working-directory: prototyping run: | - cabal install Agda-${{ matrix.agda }} cabal install --allow-newer --lib scientific vector aeson text bytestring-0.11.3.0 --package-env . + cabal install --allow-newer Agda-${{ matrix.agda }} - name: check targets working-directory: prototyping run: |