Add multiple Linux dists

This commit is contained in:
cytopia 2016-12-26 15:51:27 +01:00
parent 4edf7e24ff
commit 376576e495
No known key found for this signature in database
GPG Key ID: 6D56EDB8695128A2

View File

@ -16,7 +16,15 @@
### ###
matrix: matrix:
include: include:
# Linux # Ubuntu 12.04
- os: linux
dist: precise
sudo: required
#python: 3.2
#env: TOXENV=py32
services:
- docker
# Ubuntu 14.04 LTS Server Edition 64 bit
- os: linux - os: linux
dist: trusty dist: trusty
sudo: required sudo: required