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.

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

feat(tracing): using tracing instead of log #58

Merged
merged 3 commits into from
Apr 15, 2024
Merged

feat(tracing): using tracing instead of log #58

merged 3 commits into from
Apr 15, 2024

Conversation

gabrik
Copy link
Contributor

@gabrik gabrik commented Apr 3, 2024

@eclipse-zenoh-bot
Copy link
Contributor

@gabrik If this pull request contains a bugfix or a new feature, then please consider using Closes #ISSUE-NUMBER syntax to link it to an issue.

@gabrik gabrik mentioned this pull request Apr 3, 2024
Merged
@gabrik gabrik marked this pull request as ready for review April 11, 2024 16:34
@gabrik
Copy link
Contributor Author

gabrik commented Apr 11, 2024

@DariusIMP can you please have a look?

@gabrik
Copy link
Contributor Author

gabrik commented Apr 12, 2024

I need guidance to understand why it does not build, it is a branch directly from main.
main passes the CI

@DariusIMP
Copy link
Member

PR #60 Solves the build issue.

@gabrik gabrik merged commit af8b3c7 into main Apr 15, 2024
11 checks passed
@gabrik gabrik deleted the feat/tracing branch April 15, 2024 12:32
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@gabrik @eclipse-zenoh-bot @DariusIMP