Bump org.ow2.asm:asm from 9.4 to 9.5 #3089
Build time: 27. Mar 2023 22:57Github Action
Tests
- ✅ key.core.testgen:test (13 succeeded)
- ✅ key.core:test (2943 succeeded, 102 skipped)
- ✅ key.core:testProveRules (196 succeeded)
- ✅ key.core:testRunAllFunProofs (47 succeeded)
- ✅ key.core:testRunAllInfProofs (30 succeeded)
- ✅ key.removegenerics:test (45 succeeded)
- ✅ key.ui:test (5 succeeded)
- ✅ key.util:test (134 succeeded)
- ✅ keyext.exploration:test (3 succeeded)
- ✅ keyext.slicing:test (12 succeeded)
- ✅ recoder:test (14 succeeded, 15 skipped)