Picnic-DevPla-Bot
2024-09-13 09:44:18 +02:00
committed by GitHub
parent 097af51a3e
commit 9f222e9efe
2 changed files with 2 additions and 1 deletions

View File

@@ -208,7 +208,7 @@
<version.auto-value>1.11.0</version.auto-value>
<version.error-prone>${version.error-prone-orig}</version.error-prone>
<version.error-prone-fork>v${version.error-prone-orig}-picnic-1</version.error-prone-fork>
<version.error-prone-orig>2.31.0</version.error-prone-orig>
<version.error-prone-orig>2.32.0</version.error-prone-orig>
<version.error-prone-slf4j>0.1.28</version.error-prone-slf4j>
<version.guava-beta-checker>1.0</version.guava-beta-checker>
<version.jdk>17</version.jdk>

View File

@@ -5,6 +5,7 @@ releases:
compatible:
- "2.30.0"
- "2.31.0"
- "2.32.0"
- version: 0.17.0
compatible:
- "2.29.2"