From ea6cc6dbce47e8f58136678a24830cbbe49f6ec0 Mon Sep 17 00:00:00 2001 From: "ajeffrey@roblox.com" Date: Fri, 8 Apr 2022 11:11:58 -0500 Subject: [PATCH] Actually pin bytestring version --- .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 deb81567..62881fcd 100644 --- a/.github/workflows/prototyping.yml +++ b/.github/workflows/prototyping.yml @@ -37,7 +37,7 @@ jobs: working-directory: prototyping run: | cabal install Agda-${{ matrix.agda }} - cabal install --lib bytestring-{{ matrix.bytestring }} scientific-${{ matrix.scientific }} vector-${{ matrix.vector }} aeson-${{ matrix.aeson }} --package-env . + cabal install --lib bytestring-${{ matrix.bytestring }} scientific-${{ matrix.scientific }} vector-${{ matrix.vector }} aeson-${{ matrix.aeson }} --package-env . - name: check targets working-directory: prototyping run: |