remove logging for CI

rescala-lang · Jan 16, 2025 · fd29125 · fd29125
1 parent 9075f47
commit fd29125
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Modules/RDTs/.jvm/src/test/scala/MultiPaxosSuite.scala b/Modules/RDTs/.jvm/src/test/scala/MultiPaxosSuite.scala
@@ -20,7 +20,7 @@ class MultiPaxosSuite extends munit.ScalaCheckSuite {
       .withMaxSize(500)
 
   property("Multipaxos")(MultiPaxosSpec[Int](
-    logging = true,
+    logging = false,
     minDevices = 3,
     maxDevices = 5,
     proposeFreq = 5,