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

Try --allow-newer

Browse source
This commit is contained in:
ajeffrey@roblox.com 2022-04-08 19:06:11 -05:00
parent d3ca4b4da7
commit 2f300cfddc
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -35,7 +35,7 @@ jobs:
working-directory: prototyping
run: |
cabal install Agda-${{ matrix.agda }}
cabal install --lib scientific vector aeson text bytestring-0.11.3.0 --package-env .
cabal install --allow-newer --lib scientific vector aeson text bytestring-0.11.3.0 --package-env .
- name: check targets
working-directory: prototyping
run: |