Install text

This commit is contained in:
ajeffrey@roblox.com 2022-04-08 18:48:50 -05:00
parent 7e3fd38633
commit d3ca4b4da7

View file

@ -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: |