From 2f300cfddc64b4792f7ad7d7621ce41a8c411fc6 Mon Sep 17 00:00:00 2001 From: "ajeffrey@roblox.com" Date: Fri, 8 Apr 2022 19:06:11 -0500 Subject: [PATCH] Try --allow-newer --- .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 61237f1b..0f2aa5b6 100644 --- a/.github/workflows/prototyping.yml +++ b/.github/workflows/prototyping.yml @@ -35,7 +35,7 @@ jobs: working-directory: prototyping run: | cabal install Agda-${{ matrix.agda }} - cabal install --lib scientific vector aeson text bytestring-0.11.3.0 --package-env . + cabal install --allow-newer --lib scientific vector aeson text bytestring-0.11.3.0 --package-env . - name: check targets working-directory: prototyping run: |