Master to greg-dev #19

Merged
greg6775 merged 30 commits from master into greg-dev 2019-10-30 21:50:43 +01:00
Showing only changes of commit 81ead2ab4e - Show all commits

View file

@ -3,10 +3,10 @@ jdk:
- oraclejdk12
- openjdk12
addons:
apt:
packages:
- sshpass
addons:
apt:
packages:
- sshpass
after_success:
- wget https://raw.githubusercontent.com/DiscordHooks/travis-ci-discord-webhook/master/send.sh