build

Fix `add_timespec` in other codes besides `red_test` (#794) #122

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (ubuntu-latest)	17s
build (ubuntu-20.04)	8s
build (ubuntu-18.04)	1s
build (macos-latest)	16s
build (windows-latest)	49s
	1m 31s