From a12d8ecf87d0153adb6069dd5aada9944c07e762 Mon Sep 17 00:00:00 2001 From: Petar Radovic Date: Mon, 15 Jun 2026 12:30:18 +0200 Subject: [PATCH] clippy --- lez/sequencer/core/src/block_publisher.rs | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/lez/sequencer/core/src/block_publisher.rs b/lez/sequencer/core/src/block_publisher.rs index 48b481fa..ec680ded 100644 --- a/lez/sequencer/core/src/block_publisher.rs +++ b/lez/sequencer/core/src/block_publisher.rs @@ -111,7 +111,10 @@ impl BlockPublisherTrait for ZoneSdkPublisher { let drive_task = tokio::spawn(async move { loop { - #[allow(clippy::integer_division_remainder_used)] + #[expect( + clippy::integer_division_remainder_used, + reason = "tokio::select! expansion uses `%` for random branch selection" + )] { tokio::select! { // Drain external publish requests by calling the