1.3.0

What's Changed

• deps: added picnic errorprone support by @gtoison in #8
• fix: use the severity of the bug checker by @gtoison in #9
• build: test against sonarqube 9.7 by @gtoison in #10

Full Changelog: 1.2.0...1.3.0