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 specific index state

Browse source
This commit is contained in:
Lily Brown 2022-03-03 14:00:46 -08:00
parent 6c923b8802
commit b619d73b16
1 changed files with 7 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -6,11 +6,12 @@ on:
- '.github/workflows/prototyping.yml' - '.github/workflows/prototyping.yml'
- 'prototyping/**' - 'prototyping/**'
env:
AGDA_VERSION: 2.6.2.1
INDEX_STATE: '@1646344690'
jobs: jobs:
linux: linux:
strategy:
matrix:
agda: [2.6.2.1]
name: prototyping name: prototyping
runs-on: ubuntu-latest runs-on: ubuntu-latest
steps: steps:
@ -18,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 }}-${{ env.AGDA_VERSION }}-${{ env.INDEX_STATE }}
- uses: actions/cache@v2 - uses: actions/cache@v2
id: luau-ast-cache id: luau-ast-cache
with: with:
@ -32,8 +33,8 @@ jobs:
- name: cabal install - name: cabal install
working-directory: prototyping working-directory: prototyping
run: | run: |
cabal install Agda-${{ matrix.agda }} cabal install Agda-${{ env.AGDA_VERSION }} --index-state=${{ env.INDEX_STATE }}
cabal install --lib scientific vector aeson --package-env . cabal install --lib scientific vector aeson --package-env . --index-state=${{ env.INDEX_STATE }}
- name: check targets - name: check targets
working-directory: prototyping working-directory: prototyping
run: | run: |