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

Merge branch 'master' of github.com:wenkokke/sf

Browse source 
I don't know why it's asking me to merge.
This commit is contained in:
wadler 2018-03-12 19:33:29 -03:00
commit d60de1202b
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

@ -6,6 +6,7 @@ language: ruby
# Caching so the next build will be fast too. # Caching so the next build will be fast too.
cache: cache:
bundler: true bundler: true
timeout: 1200
directories: directories:
- $HOME/.stack - $HOME/.stack
- $HOME/.agda - $HOME/.agda
@ -47,10 +48,9 @@ before_deploy:
- make clean - make clean
deploy: deploy:
edge:
branch: v1.8.47
provider: pages provider: pages
skip-cleanup: true skip-cleanup: true
github-token: $GITHUB_TOKEN github-token: $GITHUB_TOKEN
edge: true
on: on:
branch: master branch: master