We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent a8566de commit 3f8c976Copy full SHA for 3f8c976
1 file changed
scripts/ci
@@ -15,7 +15,7 @@ echo "Undoing changes to autogenerated files"
15
git checkout -- src/data/examples.json
16
git checkout -- src/pages/postgraphile/usage-*.md
17
18
-if [ "$GITHUB_TOKEN" != "" ] && [ "$TRAVIS_PULL_REQUEST" == "false" ] && [ "$TRAVIS_BRANCH" == "develop" ]; then
+if [ "$GITHUB_TOKEN" != "" ] && [ "$GITHUB_BASE_REF" != "" ] && [ "$GITHUB_REF" == "ref/heads/develop" ]; then
19
echo "GITHUB_TOKEN is specified"
20
21
# git diff-index only looks at modified timestamps; this update-index call
0 commit comments