use 2.13 for website publish (#721)

This commit is contained in:
Torkel Rogstad 2019-08-26 13:58:55 +02:00 committed by GitHub
parent 6170b0cd69
commit c5fc133161
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -71,7 +71,7 @@ jobs:
include:
- stage: test
name: Compile website
script: sbt ++2.12.9 docs/mdoc
script: sbt docs/mdoc
# run ci-release only if previous stages passed
- stage: release
jdk: openjdk8
@ -80,5 +80,5 @@ jobs:
# run website push only if previous stages passed
# we use custom sbt task that first compiles Scaladocs
# and then calls the docusaurusPublishGhpages task
- script: sbt ++2.12.9 docs/publishWebsite
- script: sbt docs/publishWebsite
name: Publish website