fbddde92

By: Michael Lynch <git@mtlynch.io>

Merge branch 'master' into uint32-width

Suite timing

Time to Start Worker time Duration Time to finish
Config 1s 5s 5s 7s
Eval 7s 25s 25s 32s
Build 12s 8m02s 4m44s 4m57s
Suite 1s 8m33s 4m55s 4m57s

Timeline

0s20s40s1m1m20s1m40s2m2m20s2m40s3m20s3m40s4m4m20s4m40s