walkero
/
harfbuzz
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

[ci] remove trigger-coverity.sh 

hopefully not needed, we are submitting it in a bot
This commit is contained in:
Ebrahim Byagowi 2020-04-28 19:38:04 +04:30 committed by GitHub
parent a22e6de0e9
commit ace202e17e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 0 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
.ci/trigger-coverity.sh
View File

@ -1,11 +0,0 @@
#!/bin/bash
set -x
set -o errexit -o nounset
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"
git push -q upstream master:coverity_scan