clippy: use is_multiple_of to replace % operator

[eval-exec]

What problem does this PR solve?

make clippy
...
    Checking ckb-test v1.0.0 (/home/exec/Projects/github.com/nervosnetwork/ckb.develop/test)
    Checking ckb-sync v1.3.0 (/home/exec/Projects/github.com/nervosnetwork/ckb.develop/sync)
    Checking ckb-instrument v1.1.0 (/home/exec/Projects/github.com/nervosnetwork/ckb.develop/util/instrument)
    Checking tikv-jemalloc-ctl v0.5.4
    Checking tikv-jemallocator v0.5.4
    Checking ckb-memory-tracker v1.1.0 (/home/exec/Projects/github.com/nervosnetwork/ckb.develop/util/memory-tracker)
error: manual implementation of `.is_multiple_of()`
    --> sync/src/types/mod.rs:1133:12
     |
1133 |         if header_view.number() % 10000 == 0 {
     |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: replace with: `header_view.number().is_multiple_of(10000)`
     |
     = help: for further information visit https://rust-lang.github.io/rust-clippy/rust-1.92.0/index.html#manual_is_multiple_of
     = note: `-D clippy::manual-is-multiple-of` implied by `-D warnings`
     = help: to override `-D warnings` add `#[allow(clippy::manual_is_multiple_of)]`

error: could not compile `ckb-sync` (lib) due to 1 previous error
warning: build failed, waiting for other jobs to finish...
error: could not compile `ckb-sync` (lib test) due to 1 previous error
make: *** [Makefile:190: clippy] Error 101

Related changes

• fix clippy, use is_multiple_of to replace %

Check List

Tests

• Unit test
• Integration test
• Manual test (add detailed scripts or steps below)
• No code

Side effects

• None

[Copilot]

Pull request overview

Updates sync header insertion logging to use Rust’s is_multiple_of helper instead of a %-based modulus check, addressing a clippy lint in the sync module.

Changes:

• Replaced header_view.number() % 10000 == 0 with header_view.number().is_multiple_of(10000) in SyncShared::insert_valid_header.

---

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.