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