Artiweb
>
Pull Request #3029
>
Artifact 548027394
JUnit XML files for RunAllProofs
#3029
Build time: 08. Feb 2023 22:43
Github Action
Tests
✅ key.util:test [no report files] (153 succeeded)
✅ recoder:test [no report files] (14 succeeded, 15 skipped)