trigger PRs job on generated PRs (#8489)

CHANGELOG_BEGIN
CHANGELOG_END
This commit is contained in:
Gary Verhaegen 2021-01-13 12:30:17 +01:00 committed by GitHub
parent 290584a378
commit 742feb58be
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 2 additions and 2 deletions

View File

@ -289,4 +289,4 @@ jobs:
az extension add --name azure-devops
echo "$(System.AccessToken)" | az devops login --org "https://dev.azure.com/digitalasset"
az pipelines build queue --branch $(branch) --definition-name "digital-asset.daml-daily-compat" --org "https://dev.azure.com/digitalasset" --project daml
az pipelines build queue --branch $(branch) --definition-name "digital-asset.daml" --org "https://dev.azure.com/digitalasset" --project daml
az pipelines build queue --branch $(branch) --definition-name "PRs" --org "https://dev.azure.com/digitalasset" --project daml

View File

@ -66,7 +66,7 @@ jobs:
| jq '.number')
az pipelines build queue \
--branch $branch \
--definition-name "digital-asset.daml" \
--definition-name "PRs" \
--org "https://dev.azure.com/digitalasset" \
--project daml
if [ -n "$out" ]; then