Fix the CI: 2024-09-15 v0.12.x

moka-rs / moka

A high performance concurrent caching library for Rust

Apache License 2.0

1.56k stars 69 forks source link

Fix the CI: 2024-09-15 v0.12.x #458

Closed tatsuya6502 closed 2 weeks ago

tatsuya6502 commented 2 weeks ago

Pin Kani verifier to v0.54.0 to avoid out of memory errors with v0.55.0.
Pin tokio-util version to 0.7.11 to fix the CI for the MSRV 1.65.0.
Move the check-cfg lint stuff from the build script to Cargo.toml.

codecov[bot] commented 2 weeks ago

Codecov Report

All modified and coverable lines are covered by tests :white_check_mark:

Project coverage is 94.79%. Comparing base (570b702) to head (bd5e447). Report is 5 commits behind head on main.

Additional details and impacted files

```diff @@ Coverage Diff @@ ## main #458 +/- ## ========================================== - Coverage 95.00% 94.79% -0.22% ========================================== Files 44 44 Lines 20938 20306 -632 ========================================== - Hits 19893 19249 -644 - Misses 1045 1057 +12 ```