Skip to content

Merge maintenance/mps20261 into master - #1864

Merged
mps-ci-buildbot (mps-ci-buildbot) merged 4 commits into
masterfrom
merge/master
Aug 10, 2026
Merged

Merge maintenance/mps20261 into master#1864
mps-ci-buildbot (mps-ci-buildbot) merged 4 commits into
masterfrom
merge/master

Conversation

@mps-ci-buildbot

Copy link
Copy Markdown
Collaborator

Merge changes from maintenance/mps20261 to master.

Avoid capturing the script instance in the closures
fix(ci): move helpers to a separate file
Merge maintenance/mps20241 into maintenance/mps20251
Merge maintenance/mps20251 into maintenance/mps20261
@mps-ci-buildbot
mps-ci-buildbot (mps-ci-buildbot) merged commit 52b831a into master Aug 10, 2026
4 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.

2 participants