diff options
| author | Pietro Albini <pietro@pietroalbini.org> | 2019-08-03 18:15:01 +0200 |
|---|---|---|
| committer | Pietro Albini <pietro@pietroalbini.org> | 2019-08-03 18:21:38 +0200 |
| commit | 6e3c4c3b8ee817fcce9ee6ecd0843e23d1476da5 (patch) | |
| tree | a31b7d38e8850793cb7e7428b4be4634b6c3d203 /src/ci/docker | |
| parent | a45743345659c775b01484574af2818c46a2cb03 (diff) | |
| download | rust-6e3c4c3b8ee817fcce9ee6ecd0843e23d1476da5.tar.gz rust-6e3c4c3b8ee817fcce9ee6ecd0843e23d1476da5.zip | |
ci: move .azure-pipelines to src/ci/azure-pipelines
Diffstat (limited to 'src/ci/docker')
| -rw-r--r-- | src/ci/docker/x86_64-gnu-tools/repo.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/ci/docker/x86_64-gnu-tools/repo.sh b/src/ci/docker/x86_64-gnu-tools/repo.sh index 145f671a8cb..82700a00fb6 100644 --- a/src/ci/docker/x86_64-gnu-tools/repo.sh +++ b/src/ci/docker/x86_64-gnu-tools/repo.sh @@ -5,7 +5,8 @@ # # The function relies on a GitHub bot user, which should have a Personal access # token defined in the environment variable $TOOLSTATE_REPO_ACCESS_TOKEN. If for -# some reason you need to change the token, please update `.azure-pipelines/*`. +# some reason you need to change the token, please update the Azure Pipelines +# variable group. # # 1. Generate a new Personal access token: # |