openharmony/third_party_harfbuzz
1
0
Fork 0
mirror of https://gitee.com/openharmony/third_party_harfbuzz synced 2024-11-27 17:30:25 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

[ci] minor

Browse Source
This commit is contained in:
Ebrahim Byagowi 2018-03-05 12:58:34 +03:30 committed by GitHub
parent a3e29fd38f
commit 5895fe3d4d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
.ci/trigger-coverity.sh
View File

@ -3,10 +3,8 @@
set -x
set -o errexit -o nounset
if test "x$TRAVIS_EVENT_TYPE" != x"cron"; then exit; fi
BRANCH="$TRAVIS_BRANCH"
if test "x$BRANCH" != xmaster; then exit; fi
if test x"$TRAVIS_EVENT_TYPE" != x"cron"; then exit; fi
if test x"$TRAVIS_BRANCH" != x"master"; then exit; fi
git fetch --unshallow
git remote add upstream "https://$GH_TOKEN@github.com/harfbuzz/harfbuzz.git"