3 Commits (9de5472f9ca60be331e69b449a65650f6cbfdd89)

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