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

chore: Update safe-deployments to v1.25.0 #479

Merged

germartinez merged 1 commit into development from safe-deployments-1_25_0

Jul 12, 2023

Member

germartinez commented Jul 12, 2023

No description provided.


          Update safe-deployments to v1.25.0

d3fae81

coveralls commented Jul 12, 2023 •

edited

coverage: 74.968%. remained the same when pulling d3fae81 on safe-deployments-1_25_0 into 6e6afae on development.

germartinez merged commit 3194695 into development

15 checks passed

github-actions bot locked and limited conversation to collaborators

germartinez deleted the safe-deployments-1_25_0 branch

July 12, 2023 16:58

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