2019-05-06 18:15:52 +00:00
|
|
|
#
|
|
|
|
# Azure Pipelines job to publish toolstate. Only triggers on pushes to master.
|
|
|
|
#
|
|
|
|
|
|
|
|
pr: none
|
|
|
|
trigger:
|
2019-05-13 08:13:23 +00:00
|
|
|
- master
|
2019-05-06 18:15:52 +00:00
|
|
|
|
2019-06-12 14:59:20 +00:00
|
|
|
variables:
|
|
|
|
- group: prod-credentials
|
|
|
|
|
2019-05-06 18:15:52 +00:00
|
|
|
pool:
|
|
|
|
vmImage: ubuntu-16.04
|
|
|
|
|
2019-05-13 07:55:12 +00:00
|
|
|
steps:
|
2019-05-06 18:15:52 +00:00
|
|
|
- checkout: self
|
|
|
|
fetchDepth: 2
|
|
|
|
|
|
|
|
- script: |
|
|
|
|
export MESSAGE_FILE=$(mktemp -t msg.XXXXXX)
|
|
|
|
. src/ci/docker/x86_64-gnu-tools/repo.sh
|
2019-06-12 14:59:20 +00:00
|
|
|
commit_toolstate_change "$MESSAGE_FILE" "$BUILD_SOURCESDIRECTORY/src/tools/publish_toolstate.py" "$(git rev-parse HEAD)" "$(git log --format=%s -n1 HEAD)" "$MESSAGE_FILE" "$TOOLSTATE_REPO_ACCESS_TOKEN"
|
2019-05-13 07:55:12 +00:00
|
|
|
displayName: Publish toolstate
|
2019-05-06 18:15:52 +00:00
|
|
|
env:
|
2019-06-12 14:59:20 +00:00
|
|
|
TOOLSTATE_REPO_ACCESS_TOKEN: $(TOOLSTATE_REPO_ACCESS_TOKEN)
|