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

expose ZENOHPICO_FEATURE_LIVELINESS #807

Merged

milyin merged 1 commit into main from expose_liveliness_feature

Nov 21, 2024

Contributor

milyin commented Nov 21, 2024

No description provided.


          expose ZENOHPICO_FEATURE_LIVELINESS

f6be31c

github-actions bot commented Nov 21, 2024

PR missing one of the required labels: {'breaking-change', 'documentation', 'enhancement', 'bug', 'internal', 'new feature', 'dependencies'}

sashacmc approved these changes

View reviewed changes

milyin added the internal label

milyin merged commit 5b068c5 into main

64 of 65 checks passed

milyin deleted the expose_liveliness_feature branch

November 21, 2024 13:10

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

Labels