The removal of Recoder #3120
Build time: 03. Jun 2023 17:03Github Action
Tests
- ❌ key.core:test (348 succeeded, 463 failed, 75 skipped)
- ❌ key.core:testProveRules (0 succeeded, 1 failed)
- ❌ key.core:testRunAllFunProofs (0 succeeded, 34 failed)
- ❌ key.core:testRunAllInfProofs (1 succeeded, 28 failed)
- ✅ key.ui:test (5 succeeded)
- ✅ key.util:test (132 succeeded)
- ✅ recoder:test (14 succeeded, 15 skipped)