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