2 # Azure Pipelines job to publish toolstate. Only triggers on pushes to master.
10 - group: prod-credentials
20 export MESSAGE_FILE=$(mktemp -t msg.XXXXXX)
21 . src/ci/docker/x86_64-gnu-tools/repo.sh
22 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"
23 displayName: Publish toolstate
25 TOOLSTATE_REPO_ACCESS_TOKEN: $(TOOLSTATE_REPO_ACCESS_TOKEN)