2017-12-15 13:18:15 +08:00
|
|
|
language: c
|
2018-10-23 18:14:35 +08:00
|
|
|
script:
|
2018-10-27 21:46:11 +08:00
|
|
|
- 'if [ "$TRAVIS_PULL_REQUEST" != "false" ]; then sh ./scripts/check.sh; fi'
|
|
|
|
|
- 'if [ "$TRAVIS_PULL_REQUEST" = "false" ]; then sh ./scripts/badge.sh; fi'
|
2018-10-25 08:51:01 +08:00
|
|
|
branches:
|
|
|
|
|
only:
|
2018-11-07 13:02:35 +08:00
|
|
|
- master
|
2018-10-25 08:51:01 +08:00
|
|
|
except:
|
2018-11-07 13:02:35 +08:00
|
|
|
- gh-pages
|
2018-10-25 08:51:01 +08:00
|
|
|
git:
|
|
|
|
|
submodules: false
|
2018-10-24 22:42:38 +08:00
|
|
|
deploy:
|
|
|
|
|
provider: pages
|
|
|
|
|
skip_cleanup: true
|
|
|
|
|
github_token: $GITHUB_TOKEN
|
|
|
|
|
local_dir: build
|
|
|
|
|
on:
|
|
|
|
|
branch: master
|
