feat(Prover CLI): Refactor status
cmd#1705
Merged
ilitteri merged 4 commits intoprover_cli_status_command from il-refactor-prover-cli-status-cmdApr 17, 2024
+45-47
Commits
Commits on Apr 16, 2024
- authored andIvan LittericommittedIvan Litteri
- authored andIvan LittericommittedIvan Litteri
- authored andIvan LittericommittedIvan Litteri
- authored andIvan LittericommittedIvan Litteri