CI

Write timer index. Fix #621 #1033

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
macos-scons	4m 41s
win-scons	10m 51s
linux	9m 42s
macos-xcode	4m 27s
win-vs32	13m 58s
win-vs64	14m 9s
	57m 48s