Skip to content

Conversation

rubenhoenle
Copy link
Member

@rubenhoenle rubenhoenle commented Aug 11, 2025

Description

TODO: add jira issue

Checklist

  • Issue was linked above
  • Code format was applied: make fmt
  • Examples were added / adjusted (see examples/ directory)
  • Docs are up-to-date: make generate-docs (will be checked by CI)
  • Unit tests got implemented or updated
  • Acceptance tests got implemented or updated (see e.g. here)
  • Unit tests are passing: make test (will be checked by CI)
  • No linter issues: make lint (will be checked by CI)

Copy link

This PR was marked as stale after 7 days of inactivity and will be closed after another 7 days of further inactivity. If this PR should be kept open, just add a comment, remove the stale label or push new commits to it.

@github-actions github-actions bot added the Stale PR is marked as stale due to inactivity. label Aug 19, 2025
@rubenhoenle rubenhoenle removed the Stale PR is marked as stale due to inactivity. label Aug 19, 2025
Copy link

This PR was marked as stale after 7 days of inactivity and will be closed after another 7 days of further inactivity. If this PR should be kept open, just add a comment, remove the stale label or push new commits to it.

@github-actions github-actions bot added the Stale PR is marked as stale due to inactivity. label Aug 27, 2025
Copy link

github-actions bot commented Sep 4, 2025

This PR was closed automatically because it has been stalled for 7 days with no activity. Feel free to re-open it at any time.

@github-actions github-actions bot closed this Sep 4, 2025
@rubenhoenle rubenhoenle reopened this Sep 5, 2025
@github-actions github-actions bot removed the Stale PR is marked as stale due to inactivity. label Sep 6, 2025
Copy link

This PR was marked as stale after 7 days of inactivity and will be closed after another 7 days of further inactivity. If this PR should be kept open, just add a comment, remove the stale label or push new commits to it.

@github-actions github-actions bot added the Stale PR is marked as stale due to inactivity. label Sep 14, 2025
@rubenhoenle rubenhoenle removed the Stale PR is marked as stale due to inactivity. label Sep 15, 2025
Copy link

This PR was marked as stale after 7 days of inactivity and will be closed after another 7 days of further inactivity. If this PR should be kept open, just add a comment, remove the stale label or push new commits to it.

@github-actions github-actions bot added the Stale PR is marked as stale due to inactivity. label Sep 23, 2025
@rubenhoenle rubenhoenle removed the Stale PR is marked as stale due to inactivity. label Sep 23, 2025
Copy link

github-actions bot commented Oct 1, 2025

This PR was marked as stale after 7 days of inactivity and will be closed after another 7 days of further inactivity. If this PR should be kept open, just add a comment, remove the stale label or push new commits to it.

@github-actions github-actions bot added the Stale PR is marked as stale due to inactivity. label Oct 1, 2025
@marceljk marceljk removed the Stale PR is marked as stale due to inactivity. label Oct 2, 2025
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