michael/csci8980-f21
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Made unzip quiet.

Browse source
This commit is contained in:
Wen Kokke 2018-01-28 00:05:54 +00:00
parent a0edb2ac59
commit 14532321f8
No known key found for this signature in database
GPG key ID: 82A1AE2526064F4B
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
.travis.yml
View file

@ -21,9 +21,9 @@ before_install:
- export PATH=$HOME/.local/bin:$PATH
- travis_retry curl -L https://www.stackage.org/stack/linux-x86_64 | tar xz --wildcards --strip-components=1 -C ~/.local/bin '*/stack'
# Download and install agda
- travis_retry curl -L https://github.com/agda/agda/archive/master.zip -o agda-master.zip; unzip agda-master.zip; cd agda-master; stack install --stack-yaml=stack-8.2.2.yaml
- travis_retry curl -L https://github.com/agda/agda/archive/master.zip -o agda-master.zip; unzip -qq agda-master.zip; cd agda-master; stack install --stack-yaml=stack-8.2.2.yaml
# Download and install agda2html
- travis_retry curl -L https://github.com/wenkokke/agda2html/archive/master.zip -o agda2html-master.zip; unzip agda2html-master.zip; cd agda2html-master; stack install
- travis_retry curl -L https://github.com/wenkokke/agda2html/archive/master.zip -o agda2html-master.zip; unzip -qq agda2html-master.zip; cd agda2html-master; stack install
script:
- make