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.

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

Sync Cargo.lock with Zenoh 60af274 from 2024-09-04 #142

Merged
merged 1 commit into from
Sep 5, 2024

Conversation

eclipse-zenoh-bot
Copy link
Contributor

@eclipse-zenoh-bot eclipse-zenoh-bot commented Sep 3, 2024

This pull request synchronizes zenoh-java's Cargo lockfile with Zenoh's. This is done to ensure ABI compatibility between Zenoh applications, backends & plugins.

@eclipse-zenoh-bot eclipse-zenoh-bot force-pushed the eclipse-zenoh-bot/sync-lockfile branch from 67f9398 to dc3b2e4 Compare September 3, 2024 00:10
@eclipse-zenoh-bot eclipse-zenoh-bot added the dependencies Pull requests that update a dependency file label Sep 3, 2024
@eclipse-zenoh-bot eclipse-zenoh-bot enabled auto-merge (squash) September 3, 2024 00:10
@eclipse-zenoh-bot eclipse-zenoh-bot force-pushed the eclipse-zenoh-bot/sync-lockfile branch from dc3b2e4 to 303a034 Compare September 3, 2024 00:16
@eclipse-zenoh-bot eclipse-zenoh-bot changed the title Sync Cargo.lock with Zenoh 5dc5f85 from 2024-09-02 Sync Cargo.lock with Zenoh 0a911f3 from 2024-09-03 Sep 4, 2024
@eclipse-zenoh-bot eclipse-zenoh-bot force-pushed the eclipse-zenoh-bot/sync-lockfile branch 2 times, most recently from 293acb4 to 0eef9c9 Compare September 4, 2024 00:17
@eclipse-zenoh-bot eclipse-zenoh-bot changed the title Sync Cargo.lock with Zenoh 0a911f3 from 2024-09-03 Sync Cargo.lock with Zenoh 60af274 from 2024-09-04 Sep 5, 2024
@eclipse-zenoh-bot eclipse-zenoh-bot force-pushed the eclipse-zenoh-bot/sync-lockfile branch from 0eef9c9 to 1499ea2 Compare September 5, 2024 00:10
@eclipse-zenoh-bot eclipse-zenoh-bot merged commit 2f19491 into main Sep 5, 2024
7 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
dependencies Pull requests that update a dependency file
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant