Actually pin bytestring version

This commit is contained in:
ajeffrey@roblox.com 2022-04-08 11:11:58 -05:00
parent 24e0143800
commit ea6cc6dbce

View file

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