stop deploying to Bintray

larsrh · Jun 30, 2018 · d2b7cde · d2b7cde
1 parent 11255d2
commit d2b7cde
Show file tree

Hide file tree

Showing 4 changed files with 2 additions and 36 deletions.
diff --git a/.ci/bintray b/.ci/bintray
diff --git a/.ci/travis.sh b/.ci/travis.sh
@@ -34,6 +34,4 @@ esac
 
 if [ "$DEPLOY" = "1" ]; then
   ./sbt "++$SCALA_VERSION" tut
-  ./sbt "cli/assembly"
-  cp modules/cli/target/scala-2.12/isabellectl-assembly-* isabellectl-bin
 fi
diff --git a/.travis.yml b/.travis.yml
@@ -14,15 +14,6 @@ deploy:
     on:
       branch: master
       condition: $DEPLOY = 1
-  - provider: bintray
-    file: .ci/bintray
-    user: larsrh
-    skip_cleanup: true
-    on:
-      branch: master
-      condition: $DEPLOY = 1
-    key:
-      secure: "eTZ3R7NVfCqqolU+DG4TR5CJBp0YT/k1dSjRwLMrGyypZvlzsE3Ur3VMLWYH39pypHA9ayDCKNJlqM3kQzXxCC3kGRgk7u7cqM5HwgT/l54Jzz7S731SPmSdIaGDbycAzz6bauYvu1v2jDrsSuS6bo8mfzH4HLSz86qfK8bpZdk="
 matrix:
   include:
     - env: ISABELLE_VERSION=stable:2016 SCALA_VERSION=2.11.12 PROFILE=generic
@@ -46,7 +37,7 @@ matrix:
         apt:
           packages:
             - lib32stdc++6
-    - env: ISABELLE_VERSION=stable:2017 SCALA_VERSION=2.12.6 PROFILE=slow
+    - env: ISABELLE_VERSION=stable:2017 SCALA_VERSION=2.12.6 PROFILE=slow DEPLOY=1
       os: linux
       jdk: oraclejdk9
       addons:

diff --git a/modules/docs/src/main/tut/quickstart.md b/modules/docs/src/main/tut/quickstart.md
@@ -12,7 +12,7 @@ import monix.execution.Scheduler.Implicits.global
 
 import info.hupel.isabelle._, info.hupel.isabelle.api._, info.hupel.isabelle.setup._
 
-val setup = Setup.default(Version.Stable("2016-1"), false).right.get
+val setup = Setup.default(Version.Stable("2017"), false).right.get
 val resources = Resources.dumpIsabelleResources().right.get
 val config = Configuration.simple("Protocol")