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