better travis config

2019-12-04 16:05:33 +01:00 · 2019-12-04 16:05:33 +01:00 · ebd4858a5b
commit ebd4858a5b
parent 1265aebafa
1 changed files with 4 additions and 3 deletions
--- a/.travis.yml
+++ b/.travis.yml
@ -1,5 +1,6 @@
+os: linux
 dist: bionic
-language: minimal
+language: shell
 addons:
  apt:
    packages:
@ -17,7 +18,7 @@ before_deploy:
 - cd ..
 deploy:
  provider: releases
-  api_key: $GITHUB_KEY
+  token: $GITHUB_KEY
  file:
  - pdf/thesis.pdf
-  skip_cleanup: true
+  cleanup: false