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