Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

2.0: Safety issues up to 2024-11-30 #206

Merged
merged 1 commit into from
Dec 1, 2024

Conversation

andy-maier
Copy link
Contributor

Rolls back PR #205 into 2.0.4.

@andy-maier andy-maier self-assigned this Nov 30, 2024
@andy-maier andy-maier added this to the 2.0.4 milestone Nov 30, 2024
@andy-maier andy-maier force-pushed the 2.0/andy/fix-safety-11-30 branch from cdc82eb to c490c34 Compare November 30, 2024 07:12
Signed-off-by: Andreas Maier <[email protected]>
@andy-maier andy-maier force-pushed the 2.0/andy/fix-safety-11-30 branch from c490c34 to 1fc1303 Compare December 1, 2024 17:45
@andy-maier andy-maier merged commit 49d9558 into stable_2.0 Dec 1, 2024
16 checks passed
@andy-maier andy-maier deleted the 2.0/andy/fix-safety-11-30 branch December 1, 2024 18:15
@coveralls
Copy link

Coverage Status

coverage: 100.0%. remained the same
when pulling 1fc1303 on 2.0/andy/fix-safety-11-30
into e4c11c2 on stable_2.0.

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