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

Updated Agda version

Browse source
This commit is contained in:
ajeffrey@roblox.com 2022-04-08 19:27:33 -05:00
parent 310813801c
commit 8c2e5a08eb
1 changed files with 4 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -10,9 +10,9 @@ jobs:
linux: linux:
strategy: strategy:
matrix: matrix:
agda: [2.6.2.1] agda: [2.6.2.2]
hackageDate: ["2022-01-31"] hackageDate: ["2022-04-07"]
hackageTime: ["23:42:28"] hackageTime: ["23:06:28Z"]
name: prototyping name: prototyping
runs-on: ubuntu-latest runs-on: ubuntu-latest
steps: steps:
@ -34,7 +34,7 @@ jobs:
- name: cabal install - name: cabal install
working-directory: prototyping working-directory: prototyping
run: | run: |
cabal install --allow-newer --lib scientific vector aeson text bytestring-0.11.3.0 --package-env . cabal install --lib scientific vector aeson --package-env .
cabal install --allow-newer Agda-${{ matrix.agda }} cabal install --allow-newer Agda-${{ matrix.agda }}
- name: check targets - name: check targets
working-directory: prototyping working-directory: prototyping