diff --git a/.drone.yml b/.drone.yml index de8559f872fe..c9f7ea243e2c 100644 --- a/.drone.yml +++ b/.drone.yml @@ -61,6 +61,16 @@ pipeline: when: event: [ push, tag, deployment ] + test_java11: + group: test + image: lampepfl/dotty:2019-04-22 + commands: + - export PATH="/usr/lib/jvm/java-11-openjdk-amd64/bin:$PATH" + - cp -R . /tmp/6/ && cd /tmp/6/ + - ./project/scripts/sbt ";compile ;test" + when: + event: [ push, tag, deployment ] + # DOCUMENTATION: documentation: image: lampepfl/dotty:2019-04-22