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

[mono] Add a --path command line argument as an alternative to MONO_P… #90544

Merged
merged 1 commit into from
Aug 16, 2023

Conversation

vargaz
Copy link
Contributor

@vargaz vargaz commented Aug 14, 2023

…ATH.

Can be specified multiple times.

@ghost ghost assigned vargaz Aug 14, 2023
@vargaz vargaz added this to the 9.0.0 milestone Aug 14, 2023
@vargaz
Copy link
Contributor Author

vargaz commented Aug 14, 2023

An alternative to:
#90526

@SamMonoRT
Copy link
Member

Are the failures relevant ?

Can we issue a backport command to 8.0\Rc1 ?

@kotlarmilos kotlarmilos merged commit b72735a into dotnet:main Aug 16, 2023
104 checks passed
@vargaz vargaz deleted the path branch August 16, 2023 16:44
@kotlarmilos
Copy link
Member

Merged after sync with Zoltan. Next step is to update the Xamarin build. @rolfbjarne Should this be backported to 8.0\rc1?

@vargaz
Copy link
Contributor Author

vargaz commented Aug 16, 2023

/backport to release/8.0-rc1

@github-actions
Copy link
Contributor

Started backporting to release/8.0-rc1: https://github.com/dotnet/runtime/actions/runs/5881619767

@rolfbjarne
Copy link
Member

Merged after sync with Zoltan. Next step is to update the Xamarin build. @rolfbjarne Should this be backported to 8.0\rc1?

Yes, please!

@ghost ghost locked as resolved and limited conversation to collaborators Sep 16, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants