discover/grub2: Allow to separate the --id argument using a space char
[petitboot] / .travis.yml
1 language: bash
2
3 sudo: required
4 dist: trusty
5 services: docker
6
7 matrix:
8   include:
9     - os: linux
10       name: "linux"
11       env: DOCS="true"
12     - os: linux-ppc64le
13       name: "linux-ppc64le"
14
15 addons:
16   apt:
17     packages:
18       - python-pip
19
20 before_script:
21  - ./docker/build-builder
22
23 install:
24  - "sudo pip install sphinx"
25 script:
26  - ./docker/build-pb --check --verbose --configure-opts "--enable-platform-arm64 --enable-platform-powerpc"
27  - if [ "$DOCS" == "true" ]; then cd doc/; make html; fi
28
29 deploy:
30   provider: pages
31   skip-cleanup: true
32   github-token: $GITHUB_TOKEN
33   local_dir: "doc/_build/html"
34   on:
35     branch: master
36     condition: "$DOCS = true"