Robin Salen 71b2ece148
Merge pull request #1216 from topos-protocol/checkpoint_lengths
Display actual trace lengths instead of number of ops
2023-09-07 16:01:07 -04:00
..
2022-10-14 18:09:43 -07:00
2023-09-06 15:15:33 -04:00
2023-08-22 20:00:49 +01:00