Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Conversation

@khajavi
Copy link
Member

@khajavi khajavi commented Jan 18, 2023

The new release of zio-metrics-connectors has a problem with its documentation. So let's fix the documentation to a specific version.

Note: I'm adding some CI checks on each PR for every project which prevents propagating errors to the zio core project.

@adamgfraser adamgfraser merged commit d5b820b into zio:series/2.x Jan 18, 2023
@khajavi khajavi deleted the fix-versions branch January 18, 2023 12:21
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