]> gitweb.factorcode.org Git - factor.git/commit
mason.report: format benchmark times with 3 decimal places.
authorJohn Benediktsson <mrjbq7@gmail.com>
Tue, 11 Jan 2022 03:12:12 +0000 (19:12 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Tue, 11 Jan 2022 03:12:57 +0000 (19:12 -0800)
commit2f9de7d42213e36dda409c35a9b659cdf9f08abf
tree6d8e3ea88beaa466d8a9437431c5e5a8ee31236d
parent013071538c8e5ab1ebffc5ceff39acfce4637155
mason.report: format benchmark times with 3 decimal places.
extra/mason/report/report.factor