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

Longer wait time

Browse source
This commit is contained in:
Wen Kokke 2020-07-20 01:35:00 +01:00
parent ad0da807b4
commit 3665b385d4
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
.travis.yml
View file

@ -36,9 +36,9 @@ install:
# Install Pandoc:
- travis_retry curl -L https://github.com/jgm/pandoc/releases/download/2.9.2.1/pandoc-2.9.2.1-1-amd64.deb -o $HOME/pandoc.deb && sudo dpkg -i $HOME/pandoc.deb
# Install agda, agda-stdlib, and acknowledgements:
- travis_wait make travis-install-agda
- travis_wait make travis-install-agda-stdlib
- travis_wait make travis-install-acknowledgements
- travis_wait 60 make travis-install-agda
- make travis-install-agda-stdlib
- make travis-install-acknowledgements
script:
- agda --version