Skip to content
New issue

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

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

Already on GitHub? Sign in to your account

Create pipeline for exp insertions #9231

Merged
merged 2 commits into from
Sep 26, 2023

Conversation

AR-May
Copy link
Member

@AR-May AR-May commented Sep 19, 2023

Context

Adding a pipeline that creates dotnet with experimental MSBuild bits.

Changes Made

  • Create pipeline for exp insertions.
  • Modify the Deploy script: add option to specify MSBuild bootstrap folder, make backup optional

Testing

Manual testing of the resulting pipeline

@AR-May AR-May force-pushed the dev/AR-May/make-exp-sdk branch from 31bb711 to c8ad329 Compare September 19, 2023 09:00
@AR-May AR-May marked this pull request as ready for review September 19, 2023 09:01
Copy link
Member

@JanKrivanek JanKrivanek left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good!

.exp-insertions.yml Outdated Show resolved Hide resolved
.exp-insertions.yml Show resolved Hide resolved
@rainersigwald rainersigwald added this to the VS 17.9 milestone Sep 19, 2023
@AR-May
Copy link
Member Author

AR-May commented Sep 20, 2023

/azp run

@azure-pipelines
Copy link

Azure Pipelines successfully started running 1 pipeline(s).

@AR-May
Copy link
Member Author

AR-May commented Sep 21, 2023

/azp run

@azure-pipelines
Copy link

Azure Pipelines successfully started running 1 pipeline(s).

@AR-May AR-May added the merge-when-branch-open PRs that are approved, except that there is a problem that means we are not merging stuff right now. label Sep 22, 2023
@YuliiaKovalova YuliiaKovalova merged commit 325f97f into dotnet:main Sep 26, 2023
8 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
merge-when-branch-open PRs that are approved, except that there is a problem that means we are not merging stuff right now.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants