Skip to content

Conversation

@domire8
Copy link
Member

@domire8 domire8 commented Jan 28, 2026

Description

As title suggests. We should also take care of the CI.

Review guidelines

Estimated Time of Review: 3 minutes

Checklist before merging:

  • Confirm that the relevant changelog(s) are up-to-date in case of any user-facing changes

@domire8 domire8 requested a review from LouisBrunner January 28, 2026 10:00
@domire8 domire8 requested a review from eeberhard as a code owner January 28, 2026 10:00
@domire8 domire8 mentioned this pull request Jan 28, 2026
1 task
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