1 #####################################
2 ## READ BEFORE CHANGING THIS ##
3 #####################################
5 # We're in the process of evaluating GitHub Actions as a possible replacement
6 # for Azure Pipelines, and at the moment the configuration is duplicated
7 # between the two CI providers. Be sure to also change the configuration in
8 # src/ci/github-actions when changing this file.
10 #####################################
13 # Azure Pipelines job to publish toolstate. Only triggers on pushes to master.
21 - group: prod-credentials
30 - script: src/ci/publish_toolstate.sh
31 displayName: Publish toolstate
33 TOOLSTATE_REPO_ACCESS_TOKEN: $(TOOLSTATE_REPO_ACCESS_TOKEN)