Bump org.sonarqube from 4.1.0.3113 to 4.2.0.3129 #3159
Build time: 05. Jun 2023 22:29Github Action
Tests
- ✅ key.core.testgen:test (13 succeeded)
- ✅ key.core:test (2950 succeeded, 105 skipped)
- ✅ key.core:testProveRules (198 succeeded)
- ✅ key.core:testRunAllFunProofs (34 succeeded)
- ✅ key.core:testRunAllInfProofs (29 succeeded)
- ✅ key.removegenerics:test (45 succeeded)
- ✅ key.ui:test (5 succeeded)
- ✅ key.util:test (132 succeeded)
- ✅ keyext.exploration:test (3 succeeded)
- ✅ keyext.slicing:test (12 succeeded)
- ✅ recoder:test (14 succeeded, 15 skipped)