Commit de31f9f9 authored by Romain's avatar Romain

Travis fix

parent 078b7d88
...@@ -12,7 +12,7 @@ jobs: ...@@ -12,7 +12,7 @@ jobs:
install: install:
- pip install --upgrade pip - pip install --upgrade pip
- make dev-env - make dev-env
- make-lint-install - make lint-install
script: script:
- set -e - set -e
- if [ $(make n-docs-diff) -ne 0 ]; then make docs; fi; - if [ $(make n-docs-diff) -ne 0 ]; then make docs; fi;
...@@ -27,7 +27,7 @@ jobs: ...@@ -27,7 +27,7 @@ jobs:
install: install:
- pip install --upgrade pip - pip install --upgrade pip
- make dev-env - make dev-env
- make-lint-install - make lint-install
script: script:
- set -e - set -e
- make docs - make docs
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment