Artiweb > Pull Request #3064 > Artifact 595448697

Code cleanup #3064

Build time: 13. Mar 2023 06:51
Github Action

Tests

❌ key.core:testProveRules (194 succeeded, 2 failed)
❌ key.core:testRunAllFunProofs (46 succeeded, 1 failed)
✅ key.core:testRunAllInfProofs (30 succeeded)