2015-03-14 15:54:48 +03:00
|
|
|
language: python
|
2015-10-08 18:00:28 +03:00
|
|
|
sudo: 9000
|
|
|
|
services:
|
|
|
|
- docker
|
|
|
|
|
|
|
|
before_install:
|
|
|
|
- if [ "$DOCKER" = "1" ]; then docker build -t servo etc/ci/; fi
|
2015-03-14 15:54:48 +03:00
|
|
|
|
|
|
|
script:
|
2015-10-08 18:00:28 +03:00
|
|
|
- if [ "$DOCKER" = "0" ]; then sh -c "$CMD"; fi
|
|
|
|
- if [ "$DOCKER" = "1" ]; then docker run -tv `pwd`:/build servo sh -c "$CMD"; fi
|
|
|
|
|
|
|
|
matrix:
|
|
|
|
fast_finish: true
|
|
|
|
include:
|
|
|
|
- env:
|
|
|
|
- CMD="./mach test-tidy"
|
|
|
|
- DOCKER=0
|
|
|
|
- env:
|
|
|
|
- CMD="./mach build -d --verbose"
|
|
|
|
- DOCKER=1
|
2015-03-14 15:54:48 +03:00
|
|
|
|
|
|
|
branches:
|
|
|
|
only:
|
2015-10-08 18:00:28 +03:00
|
|
|
- master
|