set log level to info

KeYProject · Oct 14, 2023 · be9e649 · be9e649
1 parent 7a4f83e
commit be9e649
Showing 1 changed file with 1 addition and 4 deletions.
diff --git a/gradle/disablelogging.xml b/gradle/disablelogging.xml
@@ -5,12 +5,9 @@
         <encoder>
             <pattern>[%date{HH:mm:ss.SSS}] %highlight(%-5level) %cyan(%logger{0}) - %msg%ex%n</pattern>
         </encoder>
-        <filter class="ch.qos.logback.classic.filter.ThresholdFilter">
-            <level>ERROR</level>
-        </filter>
     </appender>
 
-    <root level="error">
+    <root level="info">
         <appender-ref ref="STDOUT"/>
     </root>
 </configuration>