From 6c32ff9708c33cc796fc0071da0214185794fb57 Mon Sep 17 00:00:00 2001
From: Tommy Verrall <tommyvez@protonmail.com>
Date: Thu, 30 Mar 2023 09:42:44 +0200
Subject: [PATCH] fix ci

---
 common/mixnode-common/src/verloc/mod.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/common/mixnode-common/src/verloc/mod.rs b/common/mixnode-common/src/verloc/mod.rs
index 03383cb681..8896eaf312 100644
--- a/common/mixnode-common/src/verloc/mod.rs
+++ b/common/mixnode-common/src/verloc/mod.rs
@@ -271,7 +271,7 @@ impl VerlocMeasurer {
                         let Some(result) = measurement_result  else {
                             // if the stream has finished, it means we got everything we could have gotten
                             break
-                        }
+                        };
 
                         // if we receive JoinError it means the task failed to get executed, so either there's a bigger issue with tokio
                         // or there was a panic inside the task itself. In either case, we should just terminate ourselves.