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.

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

Reftest: add build-env overwrite predefined build env opam vars #5377

Merged
merged 1 commit into from
Jul 24, 2024
Merged

Reftest: add build-env overwrite predefined build env opam vars #5377

merged 1 commit into from
Jul 24, 2024

Conversation

rjbou
Copy link
Collaborator

@rjbou rjbou commented Dec 5, 2022 •
edited
Loading

related to #5363

@rjbou rjbou added PR: QUEUED Pending pull request, waiting for other work to be merged or closed PR: WAITING FOR REVIEW labels Dec 5, 2022
@rjbou rjbou mentioned this pull request Dec 5, 2022
Merged
@rjbou rjbou changed the title Reftest: add build-env overwrite opam vars test Reftest: add build-env overwrite opam vars Feb 15, 2023
@rjbou rjbou force-pushed the test-env branch 2 times, most recently from e87bee6 to 98a5957 Compare November 9, 2023 15:08
@rjbou rjbou mentioned this pull request Nov 10, 2023
Merged
@rjbou rjbou removed the PR: QUEUED Pending pull request, waiting for other work to be merged or closed label Dec 12, 2023
@rjbou rjbou added this to the 2.3.0~alpha milestone Jul 9, 2024
@rjbou rjbou marked this pull request as draft July 10, 2024 13:56
@rjbou rjbou changed the title Reftest: add build-env overwrite opam vars Reftest: add build-env overwrite predefined build env opam vars Jul 24, 2024
@rjbou rjbou marked this pull request as ready for review July 24, 2024 17:46
@rjbou rjbou requested review from kit-ty-kate and dra27 and removed request for kit-ty-kate July 24, 2024 17:46
@kit-ty-kate
Copy link
Member

Thanks!

@kit-ty-kate kit-ty-kate merged commit ee934c1 into ocaml:master Jul 24, 2024
29 checks passed
@rjbou rjbou removed the request for review from dra27 August 8, 2024 17:13
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@kit-ty-kate kit-ty-kate kit-ty-kate approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
2.3.0~alpha1
Development

Successfully merging this pull request may close these issues.
2 participants
@rjbou @kit-ty-kate