Skip to content
Snippets Groups Projects
Unverified Commit 3c0029ee authored by Eduardo Trujillo's avatar Eduardo Trujillo
Browse files

fix(travis): Remove docker as a default for builds

parent 7d739868
No related branches found
No related tags found
No related merge requests found
......@@ -21,9 +21,6 @@ flags: {}
# Extra package databases containing global packages
extra-package-dbs: []
docker:
enable: true
image:
container:
base: "fpco/ubuntu-with-libgmp:14.04"
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment