Pin bytestring again :(

This commit is contained in:
ajeffrey@roblox.com 2022-04-08 18:44:27 -05:00
parent d25c501e4a
commit 6fe94e0664

View file

@ -11,8 +11,6 @@ jobs:
strategy:
matrix:
agda: [2.6.2.1]
hackageDate: ["2022-01-31"]
hackageTime: ["23:42:28"]
name: prototyping
runs-on: ubuntu-latest
steps:
@ -20,7 +18,7 @@ jobs:
- uses: actions/cache@v2
with:
path: ~/.cabal/store
key: "prototyping-${{ runner.os }}-${{ matrix.agda }}-${{ matrix.hackageDate }}-${{ matrix.hackageTime }}"
key: "prototyping-${{ runner.os }}-${{ matrix.agda }}"
- uses: actions/cache@v2
id: luau-ast-cache
with:
@ -35,7 +33,7 @@ jobs:
working-directory: prototyping
run: |
cabal install Agda-${{ matrix.agda }}
cabal install --lib scientific vector aeson --package-env .
cabal install --lib scientific vector aeson bytestring-0.11.3.0 --package-env .
- name: check targets
working-directory: prototyping
run: |