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.

Sign up for GitHub

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

Jump to bottom

1.4: Fixed safety issues from 2023-08-27 #363

Merged

andy-maier merged 1 commit into stable_1.4 from 1.4/andy/safety-2023-08-27

Aug 27, 2023

Member

andy-maier commented Aug 27, 2023

No description provided.


          Fixed safety issues from 2023-08-27

14121a7

Signed-off-by: Andreas Maier <[email protected]>

andy-maier self-assigned this

andy-maier added this to the 1.4.3 milestone

andy-maier merged commit 9e91ac4 into stable_1.4

13 checks passed

andy-maier deleted the 1.4/andy/safety-2023-08-27 branch

August 27, 2023 17:48

coveralls commented Aug 27, 2023

coverage: 40.704%. remained the same when pulling 14121a7 on 1.4/andy/safety-2023-08-27 into ba52d90 on stable_1.4.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet