Artiweb
>
Pull Request #3030
>
Artifact 549023442
Removal of the Proof Collection Parser
#3030
Build time: 09. Feb 2023 13:28
Github Action
Tests
✅ key.util:test [no report files] (158 succeeded)
✅ recoder:test [no report files] (14 succeeded, 15 skipped)