Merge branch 'main' into side_effects

ponder-lab · Nov 9, 2023 · a587d2b · a587d2b
2 parents 12a721e + 9890c66
commit a587d2b
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/pom.xml b/pom.xml
@@ -33,8 +33,8 @@
 	<properties>
 		<tycho-version>2.7.5</tycho-version>
 		<project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
-		<jacoco-version>0.8.10</jacoco-version>
-		<maven-checkstyle-plugin-version>3.2.2</maven-checkstyle-plugin-version>
+		<jacoco-version>0.8.11</jacoco-version>
+		<maven-checkstyle-plugin-version>3.3.1</maven-checkstyle-plugin-version>
 		<checkstyle-version>10.12.4</checkstyle-version>
 		<junit-version>4.13.2</junit-version>
 		<eclipse-site>http://download.eclipse.org/releases/${platform-version-name}</eclipse-site>