Skip to content

ci: cherrypick improvements from next#2040

Merged
Mirko-von-Leipzig merged 4 commits intomainfrom
mirko/port-ci-main
May 4, 2026
Merged

ci: cherrypick improvements from next#2040
Mirko-von-Leipzig merged 4 commits intomainfrom
mirko/port-ci-main

Conversation

@Mirko-von-Leipzig
Copy link
Copy Markdown
Collaborator

@Mirko-von-Leipzig Mirko-von-Leipzig commented May 4, 2026

Cherry picks the CI improvements from #2013, #2026 and #2025.

Doing this now since main and next will likely live on in parallel for a few weeks at least. And the changes from next touch most Cargo.tomls and are therefore "widespread" merge conflict generators.

As a bonus, this also improves our CI on main.

@Mirko-von-Leipzig Mirko-von-Leipzig added the no changelog This PR does not require an entry in the `CHANGELOG.md` file label May 4, 2026
@Mirko-von-Leipzig Mirko-von-Leipzig requested a review from kkovaacs May 4, 2026 13:15
@Mirko-von-Leipzig Mirko-von-Leipzig marked this pull request as ready for review May 4, 2026 13:40
@Mirko-von-Leipzig Mirko-von-Leipzig merged commit 956132c into main May 4, 2026
19 checks passed
@Mirko-von-Leipzig Mirko-von-Leipzig deleted the mirko/port-ci-main branch May 4, 2026 14:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

no changelog This PR does not require an entry in the `CHANGELOG.md` file

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants