From d3ca4b4da761b2ba702ad7617d533e11aa452616 Mon Sep 17 00:00:00 2001 From: "ajeffrey@roblox.com" Date: Fri, 8 Apr 2022 18:48:50 -0500 Subject: [PATCH] Install text --- .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 4c0329ba..61237f1b 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 bytestring-0.11.3.0 --package-env . + cabal install --lib scientific vector aeson text bytestring-0.11.3.0 --package-env . - name: check targets working-directory: prototyping run: |