luau-lang/luau
1
0
Fork 0
mirror of https://github.com/luau-lang/luau.git synced 2025-05-04 10:33:46 +01:00
Code Issues Projects Releases Packages Wiki Activity

Pin hackage version instead of lib versions

Browse source
This commit is contained in:
ajeffrey@roblox.com 2022-04-08 17:38:17 -05:00
parent ea6cc6dbce
commit 011409b92d
1 changed files with 4 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

11
.github/workflows/prototyping.yml vendored
View file

@ -11,10 +11,7 @@ jobs:
strategy: strategy:
matrix: matrix:
agda: [2.6.2.1] agda: [2.6.2.1]
bytestring: [0.11.1.0] hackage: [2022-01-31T23:42:28Z]
scientific: [0.3.7.0]
vector: [0.12.3.1]
aeson: [2.0.3.0]
name: prototyping name: prototyping
runs-on: ubuntu-latest runs-on: ubuntu-latest
steps: steps:
@ -22,7 +19,7 @@ jobs:
- uses: actions/cache@v2 - uses: actions/cache@v2
with: with:
path: ~/.cabal/store path: ~/.cabal/store
key: prototyping-${{ runner.os }}-${{ matrix.agda }} key: prototyping-${{ runner.os }}-${{ matrix.agda }}-${{ matrix.hackage }}
- uses: actions/cache@v2 - uses: actions/cache@v2
id: luau-ast-cache id: luau-ast-cache
with: with:
@ -32,12 +29,12 @@ jobs:
run: sudo apt-get install -y cabal-install run: sudo apt-get install -y cabal-install
- name: cabal update - name: cabal update
working-directory: prototyping working-directory: prototyping
run: cabal update run: cabal v2-update hackage.haskell.org,${{ matrix.hackage }}
- name: cabal install - name: cabal install
working-directory: prototyping working-directory: prototyping
run: | run: |
cabal install Agda-${{ matrix.agda }} 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 scientific vector aeson --package-env .
- name: check targets - name: check targets
working-directory: prototyping working-directory: prototyping
run: | run: |