Describe the bug
As mentioned in the README, reports sorted by successful proof time (i.e. -cs) also show unproved items interspersed with proved items. I am assuming that if a user wants to see the times for successful proofs, unproved VCs are currently irrelevant, so they should be shown last.
Describe the bug As mentioned in the README, reports sorted by successful proof time (i.e.
-cs) also show unproved items interspersed with proved items. I am assuming that if a user wants to see the times for successful proofs, unproved VCs are currently irrelevant, so they should be shown last.