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

drop verbosity to 2

Browse source
This commit is contained in:
Lily Brown 2022-03-03 14:32:22 -08:00
parent 7da45935eb
commit 27ddefbf02
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -33,8 +33,8 @@ jobs:
- name: cabal install
working-directory: prototyping
run: |
cabal install Agda-${{ env.AGDA_VERSION }} --index-state=${{ env.INDEX_STATE }} --verbose=3
cabal install --lib scientific vector aeson --package-env . --index-state=${{ env.INDEX_STATE }} --verbose=3
cabal install Agda-${{ env.AGDA_VERSION }} --index-state=${{ env.INDEX_STATE }} --verbose=2
cabal install --lib scientific vector aeson --package-env . --index-state=${{ env.INDEX_STATE }} --verbose=2
- name: check targets
working-directory: prototyping
run: |