Artiweb > Pull Request #3029 > Artifact 548059530

JUnit XML files for RunAllProofs #3029

Build time: 08. Feb 2023 23:13
Github Action

Tests

✅ key.core.testgen:test [no report files] (13 succeeded)
✅ key.removegenerics:test [no report files] (45 succeeded)
✅ key.ui:test [no report files] (5 succeeded)
✅ key.util:test [no report files] (158 succeeded)
✅ keyext.exploration:test [no report files] (3 succeeded)
✅ recoder:test [no report files] (14 succeeded, 15 skipped)