Pin bytestring version

This commit is contained in:
ajeffrey@roblox.com 2022-04-08 10:01:27 -05:00
parent c9d9277fc1
commit 24e0143800

View file

@ -11,6 +11,7 @@ jobs:
strategy:
matrix:
agda: [2.6.2.1]
bytestring: [0.11.1.0]
scientific: [0.3.7.0]
vector: [0.12.3.1]
aeson: [2.0.3.0]
@ -36,7 +37,7 @@ jobs:
working-directory: prototyping
run: |
cabal install Agda-${{ matrix.agda }}
cabal install --lib 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: |