diff options
| author | Joel Challis | 2019-11-05 01:18:57 +0100 |
|---|---|---|
| committer | Drashna Jaelre | 2019-11-05 01:18:57 +0100 |
| commit | d382eeeb9d3b795c16533c5f64ab1455e774f925 (patch) | |
| tree | 9fa7bef8d19813fce3b8f7d60ebbfd3e87dd7393 /util/travis_docs.sh | |
| parent | efa28d0f5cca55b0dfecaddd0860ec3dfeab8bb0 (diff) | |
CI - Fix change detection (#7038)
* Fix travis change detection
* Fix travis change detection - add back python ignore
Diffstat (limited to 'util/travis_docs.sh')
| -rwxr-xr-x | util/travis_docs.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/util/travis_docs.sh b/util/travis_docs.sh index 5cfd63466d..93c2d71867 100755 --- a/util/travis_docs.sh +++ b/util/travis_docs.sh @@ -1,5 +1,6 @@ #!/bin/bash +source util/travis_utils.sh source util/travis_push.sh if [[ "$TRAVIS_COMMIT_MESSAGE" != *"[skip docs]"* ]] ; then |