turbofish-org / orga

Deterministic state machine engine written in Rust
Apache License 2.0
148 stars 20 forks source link

IBC client updating #252

Closed keppel closed 9 months ago

keppel commented 9 months ago

This PR adds a method to IBC to allow updating a client from a header (eg. to replace an expired client in a migration).

codecov[bot] commented 9 months ago

Codecov Report

Attention: 36 lines in your changes are missing coverage. Please review.

Comparison is base (38682a1) 58.85% compared to head (bd9b07a) 58.72%.

Additional details and impacted files [![Impacted file tree graph](https://app.codecov.io/gh/turbofish-org/orga/pull/252/graphs/tree.svg?width=650&height=150&src=pr&token=ZYA7B56825&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=turbofish-org)](https://app.codecov.io/gh/turbofish-org/orga/pull/252?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=turbofish-org) ```diff @@ Coverage Diff @@ ## develop #252 +/- ## =========================================== - Coverage 58.85% 58.72% -0.14% =========================================== Files 84 84 Lines 15748 15784 +36 =========================================== Hits 9269 9269 - Misses 6479 6515 +36 ``` | [Files](https://app.codecov.io/gh/turbofish-org/orga/pull/252?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=turbofish-org) | Coverage Δ | | |---|---|---| | [src/ibc/mod.rs](https://app.codecov.io/gh/turbofish-org/orga/pull/252?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=turbofish-org#diff-c3JjL2liYy9tb2QucnM=) | `51.73% <0.00%> (-2.84%)` | :arrow_down: | [![Impacted file tree graph](https://app.codecov.io/gh/turbofish-org/orga/pull/252/graphs/tree.svg?width=650&height=150&src=pr&token=ZYA7B56825&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=turbofish-org)](https://app.codecov.io/gh/turbofish-org/orga/pull/252?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=turbofish-org)