Skip to content

Comments

1.25: Clarified safety ignore-unpinned; Addressed safety issues#2094

Merged
andy-maier merged 1 commit intostable_1.25from
1.25/andy/safety-changes
Feb 10, 2026
Merged

1.25: Clarified safety ignore-unpinned; Addressed safety issues#2094
andy-maier merged 1 commit intostable_1.25from
1.25/andy/safety-changes

Conversation

@andy-maier
Copy link
Member

Rolls back PR #2093 into 1.25.

Signed-off-by: Andreas Maier <maiera@de.ibm.com>
@andy-maier andy-maier self-assigned this Feb 10, 2026
@andy-maier andy-maier added this to the 1.25.1 milestone Feb 10, 2026
@coveralls
Copy link
Collaborator

Coverage Status

coverage: 79.752%. remained the same
when pulling 39648c6 on 1.25/andy/safety-changes
into 906207b on stable_1.25.

@andy-maier andy-maier merged commit dee7e6d into stable_1.25 Feb 10, 2026
15 checks passed
@andy-maier andy-maier deleted the 1.25/andy/safety-changes branch February 10, 2026 07:50
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