From 38151519e08e974855020377f2bb46281d875dfa Mon Sep 17 00:00:00 2001
From: gcontini <1121667+gcontini@users.noreply.github.com>
Date: 周六, 01 2月 2020 18:00:58 +0800
Subject: [PATCH] Merge remote-tracking branch 'origin/develop' into feature/pc_identifiers
---
.travis.yml | 40 ++++++++++++++++++++++++++++++++++++++--
1 files changed, 38 insertions(+), 2 deletions(-)
diff --git a/.travis.yml b/.travis.yml
index e9ca5ca..cac6349 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -1,7 +1,12 @@
language: cpp
services: docker
-matrix:
+stages:
+ - name: test
+ - name: documentation
+ if: branch = develop
+
+jobs:
include:
- os: linux
dist: bionic
@@ -180,7 +185,38 @@
script:
- travis_wait 20 cmake --build . --target install --config Release
- ctest -C Release
-
+ - os: linux
+ dist: bionic
+ stage: documentation
+ name: "Deploy documentation"
+ addons:
+ apt:
+ packages:
+ - cmake
+ - libssl-dev
+ - zlib1g-dev
+ - libboost-dev
+ - libboost-test-dev
+ - libboost-filesystem-dev
+ - libboost-iostreams-dev
+ - libboost-program-options-dev
+ - libboost-system-dev
+ - libboost-thread-dev
+ - libboost-date-time-dev
+ - doxygen
+ - graphviz
+ script:
+ - make docs
+ deploy:
+ provider: pages
+ skip_cleanup: true
+ github_token: $GITHUB_TOKEN
+ keep_history: false
+ verbose: true
+ target_branch: "gh-pages"
+ local_dir: "build/html"
+ on:
+ branch: develop
env:
- CTEST_OUTPUT_ON_FAILURE=1
before_script:
--
Gitblit v1.9.1