Skip to content

Sirius Upgrade#710

Merged
jakobvogel merged 1 commit intomainfrom
feature/jvo/kernel-update
Jan 14, 2026
Merged

Sirius Upgrade#710
jakobvogel merged 1 commit intomainfrom
feature/jvo/kernel-update

Conversation

@jakobvogel
Copy link
Member

@jakobvogel jakobvogel commented Jan 14, 2026

Additional Notes

  • This PR fixes or works on following ticket(s): SIRI-1175

Checklist

  • Code change has been tested and works locally
  • Code was formatted via IntelliJ and follows SonarLint & best practices
  • Patch Tasks: Is local execution of Patch Tasks necessary? If so, please also mark the PR with the tag.

@jakobvogel jakobvogel added the ⬆️ Dependencies Pull requests that update a dependency file label Jan 14, 2026
@jakobvogel jakobvogel merged commit d173745 into main Jan 14, 2026
4 checks passed
@jakobvogel jakobvogel deleted the feature/jvo/kernel-update branch January 14, 2026 17:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

⬆️ Dependencies Pull requests that update a dependency file

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@jakobvogel