mirror of
https://github.com/digital-asset/daml.git
synced 2024-09-20 01:07:18 +03:00
ef465de0a8
Even though the Azure Pipelines bot account _clearly_ has write access to our repo, as it can create the PR, it does not count as having write access for the purposes of Azure deciding to run the build on the PRs it opens. Not having the build run on the release PR would defeat the whole point of having it, so this adds a little nudge to Azure so it does start the build after opening the PR. CHANGELOG_BEGIN CHANGELOG_END |
||
---|---|---|
.. | ||
perf | ||
src | ||
BUILD.bazel | ||
daily-compat.yml | ||
monthly.yaml | ||
run.sh | ||
wednesday.yml |