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

Merge/main into dev/1.0.0 #1279

Merged
merged 24 commits into from
Jul 30, 2024
Merged

Merge/main into dev/1.0.0 #1279

merged 24 commits into from
Jul 30, 2024

Conversation

Mallets
Copy link
Member

@Mallets Mallets commented Jul 29, 2024

No description provided.

evshary and others added 24 commits June 5, 2024 15:09
* fix: Improve debug messages for failing RX/TX tasks

* fix: Improve debug message for `accept_link` timeout

* chore: Fix `clippy::redundant_pattern_matching` error
* Yield task for backoff

* Improve comments and error handling in backoff

* Simplify pipeline pull

* Consider backoff configuration
* Fix typos

* Add typos check to CI
* bump quinn & rustls

* fix ci windows check

* add comments
…clarations to void dead locks (#1150)

* Send simple sub and qabl declarations using a given function

* Send simple sub and qabl declarations after releasing tables lock

* Send simple sub and qabl declarations after releasing tables lock (missing places)
* fix: zenohd --cfg

* ci: trigger

* Update zenohd/src/main.rs

---------

Co-authored-by: Luca Cominardi <[email protected]>
* Change missleading log

* Fix failover brokering bug reacting to linkstate changes

* Retrigger CI

---------

Co-authored-by: Luca Cominardi <[email protected]>
* Allow unexpected `doc_auto_cfg` flag

* Keep never-constructed logger interceptor

* Ignore interior mutability of `Resource`

* Fix typo

* Resolve `clippy::doc-lazy-continuation` errors

* Upgrade `[email protected]` to `[email protected]`

See time-rs/time#693
Updated description to be aligned with what we use everywhere else
@Mallets Mallets requested a review from fuzzypixelz July 29, 2024 14:57
Copy link
Member

@fuzzypixelz fuzzypixelz left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I took a look at the merge conflicts. LGTM.

@Mallets Mallets merged commit 502d3be into dev/1.0.0 Jul 30, 2024
23 checks passed
@Mallets Mallets deleted the merge/main_into_dev/1.0.0 branch July 30, 2024 13:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
Status: Done
Development

Successfully merging this pull request may close these issues.

9 participants