1234567891011121314151617181920 |
- #!/bin/bash
- set -ev
- if [ -z ${DOCKER+x} ]; then
- # Only on non-docker builds required
- if [ "$ANALYZE" = "false" ] && [ "$CC" = "gcc" ] && [ "${TRAVIS_REPO_SLUG}" = "open62541/open62541" ]; then
- echo "=== Executing after_success scripts ==="
- # List branches where the doc should be pushed to the webpage
- if [ "${TRAVIS_PULL_REQUEST}" = "false" ] && (
- [ "${TRAVIS_BRANCH}" = "master" ] || [ "${TRAVIS_BRANCH}" = "0.3" ]); then
- sh ./tools/travis/travis_push_doc.sh
- sh ./tools/travis/travis_push_coverity.sh
- fi
- sh ./tools/travis/travis_push_release.sh;
- else
- echo "=== Not in the main repository or not the main build; Skip release scripts ==="
- fi
- fi
|