Skip to content

Cherry-pick #13313 to 17.2 #13399

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.

Sign up for GitHub

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

Jump to bottom
Merged
vzarytovskii merged 5 commits into from
Jun 29, 2022
Merged

Cherry-pick #13313 to 17.2 #13399

vzarytovskii merged 5 commits into from
Jun 29, 2022

Conversation

@vzarytovskii
Copy link
Member

@vzarytovskii vzarytovskii commented Jun 28, 2022

No description provided.

@vzarytovskii @psfinaki
Workaround for emptying FSharp.Editor cache due to duplicate ProjectS…
93c1cf7 
…ystem events (dotnet#13313)

Co-authored-by: Petr Semkin <psfinaki@users.noreply.github.com>
@vzarytovskii vzarytovskii requested a review from KevinRansom June 28, 2022 09:41
@vzarytovskii vzarytovskii reopened this Jun 28, 2022
@vzarytovskii
Copy link
Member Author

vzarytovskii commented Jun 28, 2022

/azp run

@azure-pipelines
Copy link

azure-pipelines bot commented Jun 28, 2022

Azure Pipelines successfully started running 2 pipeline(s).

@vzarytovskii
Copy link
Member Author

vzarytovskii commented Jun 28, 2022 •
edited
Loading

There's some weird Arcade issue (and only on the deterministic builds leg), it doesn't fail on both main and release/17.3.
We may either update arcade sdk to the same version as in 17.3, or ignore this leg (since it only runs on PR build).

@vzarytovskii
Copy link
Member Author

vzarytovskii commented Jun 28, 2022

I've cherry-picked an arcade sdk update, let's see if it fails.

@vzarytovskii vzarytovskii merged commit 702b8e7 into dotnet:release/dev17.2 Jun 29, 2022
@vzarytovskii vzarytovskii deleted the cp13313-to-dev17-2 branch June 29, 2022 09:01
vzarytovskii added a commit that referenced this pull request Jun 29, 2022
@dotnet-bot @vzarytovskii @psfinaki
Merge release/dev17.2 to main (#13408)
eebaa3e 
* Cherry-pick #13313 to 17.2 (#13399)

Co-authored-by: Petr Semkin <psfinaki@users.noreply.github.com>

* Update azure-pipelines.yml

Co-authored-by: Vlad Zarytovskii <vzaritovsky@hotmail.com>
Co-authored-by: Petr Semkin <psfinaki@users.noreply.github.com>
vzarytovskii added a commit that referenced this pull request Jun 29, 2022
@dotnet-bot @vzarytovskii @psfinaki
Merge release/dev17.2 to main (#13411)
1c95138 
* Cherry-pick #13313 to 17.2 (#13399)

Co-authored-by: Petr Semkin <psfinaki@users.noreply.github.com>

* Update azure-pipelines.yml

Co-authored-by: Vlad Zarytovskii <vzaritovsky@hotmail.com>
Co-authored-by: Petr Semkin <psfinaki@users.noreply.github.com>
vzarytovskii added a commit that referenced this pull request Jun 29, 2022
@dotnet-bot @vzarytovskii @psfinaki
Cherry-pick #13313 to 17.2 (#13399) (#13412)
af95ec4 
Co-authored-by: Petr Semkin <psfinaki@users.noreply.github.com>

Co-authored-by: Vlad Zarytovskii <vzaritovsky@hotmail.com>
Co-authored-by: Petr Semkin <psfinaki@users.noreply.github.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

1 more reviewer

@KevinRansom KevinRansom KevinRansom approved these changes

Reviewers whose approvals may not affect merge requirements

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@vzarytovskii @KevinRansom