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