3 Commits (4a757429e62d673a8c44d85a5681b6d038e99319)

Author	SHA1	Message	Date
Damir Jelić	72f0e2f217	ci: Use the correct docker image and set the PATH correctly.	2020-01-05 21:43:20 +01:00
Damir Jelić	6dfd704bf0	ci: Mark the deployment script as executable.	2020-01-05 19:12:03 +01:00
Damir Jelić	4c02d1762b	travis: Add deployment configuration.	2020-01-05 16:48:49 +01:00