Artiweb
>
Pull Request #3030
>
Artifact 616872823
Removal of the Proof Collection Parser
#3030
Build time: 26. Mar 2023 10:50
Github Action
Tests
✅
key.util:test
(134 succeeded)
✅
recoder:test
(14 succeeded, 15 skipped)