Skip to content

Conversation

localheinz
Copy link
Member

This pull request

  • merges tests

@localheinz localheinz self-assigned this Jul 17, 2025
@localheinz localheinz requested a review from ergebnis-bot as a code owner July 17, 2025 05:59
@localheinz localheinz force-pushed the fix/merge branch 6 times, most recently from a13808b to 53b3ab6 Compare July 17, 2025 06:25
@localheinz localheinz merged commit 3d6a9df into main Jul 17, 2025
25 checks passed
@localheinz localheinz deleted the fix/merge branch July 17, 2025 06:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants