Skip to content

Conversation

@jblomer
Copy link
Contributor

@jblomer jblomer commented Dec 3, 2025

Relies on #20623

@jblomer jblomer self-assigned this Dec 3, 2025
@github-actions
Copy link

github-actions bot commented Dec 3, 2025

Test Results

    22 files      22 suites   3d 23h 51m 16s ⏱️
 3 782 tests  3 780 ✅ 0 💤  2 ❌
81 204 runs  81 181 ✅ 0 💤 23 ❌

For more details on these failures, see this check.

Results for commit 8cd4fa1.

Copy link
Member

@hahnjo hahnjo left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I agree this should work; maybe include the relevant commits already now, if not wait until the other PR is merged and then rebase to be sure it passes CI.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants