Skip to content

Fixed safety issues#2187

Merged
andy-maier merged 1 commit into
masterfrom
andy/safety-2026-06-17
Jun 17, 2026
Merged

Fixed safety issues#2187
andy-maier merged 1 commit into
masterfrom
andy/safety-2026-06-17

Conversation

@andy-maier

Copy link
Copy Markdown
Member

No description provided.

Signed-off-by: Andreas Maier <maiera@de.ibm.com>
@andy-maier andy-maier self-assigned this Jun 17, 2026
@andy-maier andy-maier added the backport Create backport PR when PR gets merged label Jun 17, 2026
@andy-maier andy-maier added this to the 1.26.0 milestone Jun 17, 2026
@coveralls

Copy link
Copy Markdown
Collaborator

Coverage Status

coverage: 77.19%. remained the same — andy/safety-2026-06-17 into master

@andy-maier andy-maier merged commit 2b7ef53 into master Jun 17, 2026
15 checks passed
@andy-maier andy-maier deleted the andy/safety-2026-06-17 branch June 17, 2026 02:03
@github-actions

Copy link
Copy Markdown

Successfully created backport PR for stable_1.25:

andy-maier added a commit that referenced this pull request Jun 17, 2026
(cherry picked from commit 2b7ef53)

Signed-off-by: Andreas Maier <maiera@de.ibm.com>
Co-authored-by: Andreas Maier <andy-maier@users.noreply.github.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

backport Create backport PR when PR gets merged

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants