2017-12-20 22:12:50 +01:00
|
|
|
language: python
|
|
|
|
|
python:
|
|
|
|
|
- "3.6"
|
|
|
|
|
|
|
|
|
|
env:
|
|
|
|
|
global:
|
|
|
|
|
- GIT_COMMITTER_NAME="SymbiYosys Travis Bot"
|
|
|
|
|
- GIT_COMMITTER_EMAIL="nobody@nowhere.com"
|
|
|
|
|
|
2017-12-21 12:48:21 +01:00
|
|
|
before_install:
|
|
|
|
|
- ./.travis/save-key.sh
|
|
|
|
|
|
2017-12-20 22:12:50 +01:00
|
|
|
script:
|
|
|
|
|
- ./.travis/generate-html.sh
|
|
|
|
|
|
|
|
|
|
after_install:
|
2017-12-21 12:48:21 +01:00
|
|
|
- if [ -e ~/.ssh/agent.sh ]; then source ~/.ssh/agent.sh; ./.travis/push-html.sh; fi
|
