3 Commits (ef2f35b364ceace88b202f93a6c5b89d2347173c)

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