coverage.py: print total runtime

main
parent 84c53fc120
commit c33f719278
Signed by untrusted user: josch
GPG Key ID: F2CBA5C78FBD83E1

@ -446,6 +446,10 @@ def main():
print("failed %d:" % len(failed), file=sys.stderr)
for f in failed:
print(f, file=sys.stderr)
currenttime = time.time()
walltime = timedelta(seconds=int(currenttime - starttime))
print(f"total runtime: {walltime}", file=sys.stderr)
if failed:
exit(1)

Loading…
Cancel
Save