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

Don't cache out/

Browse source
This commit is contained in:
Wen Kokke 2020-07-03 15:23:02 +01:00
parent 972cdf14a4
commit ec10e24701
1 changed files with 3 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
.travis.yml
View file

@ -8,7 +8,6 @@ cache:
bundler: true bundler: true
timeout: 1500 timeout: 1500
directories: directories:
- out/
- $HOME/.stack - $HOME/.stack
- $HOME/.agda - $HOME/.agda
- $HOME/.local - $HOME/.local
@ -29,17 +28,16 @@ env:
- SH=bash - SH=bash
before_install: before_install:
# Install Stack # Install Stack:
- mkdir -p ~/.local/bin - mkdir -p ~/.local/bin
- export PATH=$HOME/.local/bin:$PATH - 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' - travis_retry curl -L https://www.stackage.org/stack/linux-x86_64 | tar xz --wildcards --strip-components=1 -C ~/.local/bin '*/stack'
# Install Pandoc # 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 - 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
# Download and install agda, agda-stdlib, and agda2html # Install agda, agda-stdlib, and agda2html:
- make travis-setup - make travis-setup
script: script:
- travis_retry curl -L https://raw.githubusercontent.com/plfa/git-tools/master/git-restore-mtime | python
- agda --version - agda --version
- acknowledgements --version - acknowledgements --version
- pandoc --version - pandoc --version