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

Another shot at caching

Browse source
This commit is contained in:
ajeffrey@roblox.com 2022-02-08 13:22:43 -06:00
parent 2d1ffd19db
commit abab255fdf
1 changed files with 6 additions and 9 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -17,10 +17,7 @@ jobs:
linux:
strategy:
matrix:
aesonVersion: [2.0.3.0]
scientificVersion: [0.3.7.0]
vectorVersion: [0.12.3.1]
agdaVersion: [2.6.1.3, 2.6.2.1]
agda: [2.6.1.3, 2.6.2.1]
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v1
@ -29,7 +26,7 @@ jobs:
path: |
~/.cabal/store
build
key: ${{ runner.os }}-${{ matrix.aesonVersion }}-${{ matrix.scientificVersion }}-${{ matrix.vectorVersion }}-${{ matrix.agdaVersion }}
key: prototyping-${{ runner.os }}-${{ matrix.agda }}
- name: install cabal
run: sudo apt-get install -y cabal-install
- name: cabal update
@ -38,10 +35,10 @@ jobs:
- name: cabal install
working-directory: prototyping
run: |
cabal install --lib scientific-${{ matrix.scientificVersion }} --package-env .
cabal install --lib vector-${{ matrix.vectorVersion }} --package-env .
cabal install --lib aeson-${{ matrix.aesonVersion }} --package-env .
cabal install Agda-${{ matrix.agdaVersion }}
cabal install Agda-${{ matrix.agda }}
cabal install --lib scientific --package-env .
cabal install --lib vector --package-env .
cabal install --lib aeson --package-env .
- name: check examples
working-directory: prototyping
run: ~/.cabal/bin/agda Examples.agda