add docker service

This commit is contained in:
Dave Murphy 2018-05-21 08:27:34 +01:00
parent 1eda6516ff
commit 3d8c3cafc8

View File

@ -1,7 +1,13 @@
language: c language: c
sudo: required sudo: required
services: docker
#Cache doxygen
cache:
directories:
- /home/travis/doxygen/doxygen-1.8.11/bin
env: env:
global: global:
- secure: "SYuVfyfmO6P+KnOXFZpNbBLO3QpGZJjIvFJHix3+xAfjENZoCzn+A7Gmcbm07VN0UB9sDJrYklyUrUepVWSuOd+FiNEyiLi4oYXxFzDjA9am7W1nFEaBAw6Ilifg7KX2OlClXaF7iiQ1udtmN9Uw+1LwfpldDDqti1H9TANaKHc=" - secure: "SYuVfyfmO6P+KnOXFZpNbBLO3QpGZJjIvFJHix3+xAfjENZoCzn+A7Gmcbm07VN0UB9sDJrYklyUrUepVWSuOd+FiNEyiLi4oYXxFzDjA9am7W1nFEaBAw6Ilifg7KX2OlClXaF7iiQ1udtmN9Uw+1LwfpldDDqti1H9TANaKHc="