Skip to content

ci: move .azure-pipelines to src/ci/azure-pipelines #63242

New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom
Merged
merged 1 commit into from
Aug 3, 2019
Merged

ci: move .azure-pipelines to src/ci/azure-pipelines #63242

merged 1 commit into from
Aug 3, 2019

Conversation

pietroalbini
Copy link
Member

As discussed in the last infra meeting this PR moves the Azure Pipelines configuration to src/ci/azure-pipelines, to clean up the root directory.

r? @Mark-Simulacrum

@rust-highfive rust-highfive added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Aug 3, 2019
@pietroalbini pietroalbini added beta-accepted Accepted for backporting to the compiler in the beta channel. beta-nominated Nominated for backporting to the compiler in the beta channel. T-infra Relevant to the infrastructure team, which will review and decide on the PR/issue. labels Aug 3, 2019
@Mark-Simulacrum
Copy link
Member

Looks like one more location needs changing:

$ rg -uuu 'azure-pipelines' -g '!.git'
src/ci/docker/x86_64-gnu-tools/repo.sh
8:# some reason you need to change the token, please update `.azure-pipelines/*`.

Otherwise r=me

@pietroalbini pietroalbini force-pushed the move-azure-pipelines branch from 39adaf7 to 6e3c4c3 Compare August 3, 2019 16:21
@pietroalbini
Copy link
Member Author

That comment was actually outdated 😅. Clarified it.

@bors treeclosed=1000 r=Mark-Simulacrum p=1000

@bors
Copy link
Collaborator

bors commented Aug 3, 2019

📌 Commit 6e3c4c3 has been approved by Mark-Simulacrum

@bors
Copy link
Collaborator

bors commented Aug 3, 2019

🌲 The tree is currently closed for pull requests below priority 1000, this pull request will be tested once the tree is reopened

@bors bors added S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels Aug 3, 2019
@bors
Copy link
Collaborator

bors commented Aug 3, 2019

⌛ Testing commit 6e3c4c3 with merge 5ed2cd9a4f28287d007c6a1f8b9c79ae8c8c3f1d...

@pietroalbini
Copy link
Member Author

@bors retry

@bors
Copy link
Collaborator

bors commented Aug 3, 2019

⌛ Testing commit 6e3c4c3 with merge 452087b...

bors added a commit that referenced this pull request Aug 3, 2019
@bors
Auto merge of #63242 - pietroalbini:move-azure-pipelines, r=Mark-Simu…
452087b 
…lacrum

ci: move .azure-pipelines to src/ci/azure-pipelines

As discussed in the last infra meeting this PR moves the Azure Pipelines configuration to `src/ci/azure-pipelines`, to clean up the root directory.

r? @Mark-Simulacrum
@pietroalbini pietroalbini mentioned this pull request Aug 3, 2019
Merged
@bors
Copy link
Collaborator

bors commented Aug 3, 2019

☀️ Test successful - checks-azure
Approved by: Mark-Simulacrum
Pushing 452087b to master...

@bors bors added the merged-by-bors This PR was explicitly merged by bors. label Aug 3, 2019
@bors bors merged commit 6e3c4c3 into rust-lang:master Aug 3, 2019
@pietroalbini pietroalbini deleted the move-azure-pipelines branch August 3, 2019 20:11
This was referenced Aug 3, 2019
Merged
Merged
@pietroalbini pietroalbini mentioned this pull request Aug 4, 2019
Merged
@pietroalbini pietroalbini removed the beta-nominated Nominated for backporting to the compiler in the beta channel. label Aug 4, 2019
bors added a commit that referenced this pull request Aug 5, 2019
@bors
Auto merge of #63262 - pietroalbini:beta-rollup, r=pietroalbini
3f55461 
[beta] Rollup backports

Cherry picked:

*  Updated RELEASES.md for 1.37.0 #63147
*  Require a value for configure --debuginfo-level #62906
*  Make the parser TokenStream more resilient after mismatched delimiter recovery #62887
*  ci: move .azure-pipelines to src/ci/azure-pipelines #63242

Rolled up:

*  [BETA] Update cargo #62911
*  [beta] Backport #61207 #63254

r? @ghost
@chrissimpkins chrissimpkins mentioned this pull request Feb 10, 2020
Closed
@matthiaskrgr matthiaskrgr mentioned this pull request Dec 25, 2023
Closed
# for free to join this conversation on GitHub. Already have an account? # to comment
Reviewers
No reviews
Assignees

@Mark-Simulacrum Mark-Simulacrum

Labels
beta-accepted Accepted for backporting to the compiler in the beta channel. merged-by-bors This PR was explicitly merged by bors. S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. T-infra Relevant to the infrastructure team, which will review and decide on the PR/issue.
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
4 participants
@pietroalbini @Mark-Simulacrum @bors @rust-highfive