Skip to content

Commit

Permalink
Pin bytestring again :(
Browse files Browse the repository at this point in the history
  • Loading branch information
asajeffrey committed Apr 8, 2022
1 parent d25c501 commit 6fe94e0
Showing 1 changed file with 2 additions and 4 deletions.
6 changes: 2 additions & 4 deletions .github/workflows/prototyping.yml
Original file line number Diff line number Diff line change
Expand Up @@ -11,16 +11,14 @@ jobs:
strategy:
matrix:
agda: [2.6.2.1]
hackageDate: ["2022-01-31"]
hackageTime: ["23:42:28"]
name: prototyping
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v1
- 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:
Expand All @@ -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: |
Expand Down

0 comments on commit 6fe94e0

Please sign in to comment.