Artiweb
>
Pull Request #3148
>
Artifact 720799703
Add code coverage with reporting
#3148
Build time: 30. May 2023 03:26
Github Action
Tests
✅
key.core:testProveRules
(198 succeeded)
✅
key.core:testRunAllFunProofs
(34 succeeded)
✅
key.core:testRunAllInfProofs
(29 succeeded)