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

Merge 3.3.x up into 3.4.x #11878

Merged
merged 3 commits into from
Mar 18, 2025
Merged

Merge 3.3.x up into 3.4.x #11878

merged 3 commits into from
Mar 18, 2025

Conversation

greg0ire
Copy link
Member

No description provided.

This file is never used in the CI.
The dev configuration and CI configuration should not diverge this much.
I do not think the current situation was intended. A difference that
remains after my changes is the bootstrap file, which in dev seems aimed
at helping contributors setup their environment.
@greg0ire greg0ire merged commit 742eead into 3.4.x Mar 18, 2025
158 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant