Add crowdin to build (#591)

This commit is contained in:
Guillaume Jenkins 2018-05-09 12:39:25 -04:00 committed by GitHub
parent b79881ade0
commit e5d78d65cb
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -24,6 +24,7 @@ def projectName = "pxt-ev3"
credentialsBinding { credentialsBinding {
string("PXT_ACCESS_TOKEN", "pxt_access_token") string("PXT_ACCESS_TOKEN", "pxt_access_token")
string("PXT_RELEASE_REPO", "pxt_release_repo_ev3") string("PXT_RELEASE_REPO", "pxt_release_repo_ev3")
string("CROWDIN_KEY", "pxt_crowdin_key")
} }
} }
} }