Skip to content

Comments

chore: GH pipeline refinements#544

Merged
lechnerc77 merged 2 commits intomainfrom
chore/pipelines
Feb 18, 2026
Merged

chore: GH pipeline refinements#544
lechnerc77 merged 2 commits intomainfrom
chore/pipelines

Conversation

@lechnerc77
Copy link
Member

Purpose

  • Fix findings from GH pipelines

Does this introduce a breaking change?

[ ] Yes
[X] No

Pull Request Type

What kind of change does this Pull Request introduce?

[ ] Bugfix
[ ] Feature
[ ] Refactoring (no functional changes, no api changes)
[ ] Documentation content changes
[X] Other... Please describe: Automation Setup

How to Test

  • Test the code via automated test
make test

What to Check

Verify that the following are valid:

  • Automated tests are executed successfully

Other Information

n/a

Checklist for reviewer

The following organizational tasks must be completed before merging this PR:

  • The PR status on the Project board is set (typically "in review").
  • The PR has the matching labels assigned to it.
  • If the PR closes an issue, the issue is referenced.
  • Possible follow-up issues are created and linked.

@github-actions github-actions bot added this to the 1.5.0 milestone Feb 18, 2026
@github-actions github-actions bot added ignore-for-release All things not to be mentioned in release notes internal Internal tasks labels Feb 18, 2026
@sonarqubecloud
Copy link

@lechnerc77 lechnerc77 merged commit 1933019 into main Feb 18, 2026
12 checks passed
@lechnerc77 lechnerc77 deleted the chore/pipelines branch February 18, 2026 13:02
@lechnerc77 lechnerc77 modified the milestones: 1.5.0, 1.6.0 Feb 19, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ignore-for-release All things not to be mentioned in release notes internal Internal tasks

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant