2019-02-06 00:04:27 -08:00
|
|
|
language: bash
|
2019-02-06 00:01:18 -08:00
|
|
|
|
2019-02-05 23:57:34 -08:00
|
|
|
services:
|
|
|
|
- docker
|
|
|
|
|
2019-02-06 11:27:34 -08:00
|
|
|
addons:
|
|
|
|
apt:
|
|
|
|
packages:
|
|
|
|
- doxygen
|
|
|
|
|
2019-02-05 23:57:34 -08:00
|
|
|
script:
|
2019-02-06 11:41:26 -08:00
|
|
|
# - docker build .
|
2019-02-06 11:22:02 -08:00
|
|
|
- doxygen doxygen.conf
|
2019-02-05 23:57:34 -08:00
|
|
|
|
2019-02-06 11:22:02 -08:00
|
|
|
deploy:
|
|
|
|
provider: pages
|
|
|
|
skip_cleanup: true
|
2019-02-06 11:41:26 -08:00
|
|
|
local_dir: public
|
2019-02-06 11:22:02 -08:00
|
|
|
github_token: $GITHUB_TOKEN
|
|
|
|
keep-history: true
|
|
|
|
on:
|
|
|
|
branch: master
|