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-07 13:26:14 -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-07 13:26:14 -08:00
|
|
|
#deploy:
|
|
|
|
|
# provider: pages
|
|
|
|
|
# skip_cleanup: true
|
|
|
|
|
# local_dir: public
|
|
|
|
|
# github_token: $GITHUB_TOKEN
|
|
|
|
|
# keep-history: true
|
|
|
|
|
# on:
|
|
|
|
|
# branch: master
|
