Build

Do not preserve the sign in argument reduction if computing a Cos #1432

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (Debug)	1s
build (Debug)	13m 29s
build (Debug)	18m 4s
start	2m 42s
start	3m 32s
start	1m 34s
build (Release)	1s
build (Release)	13m 29s
build (Release)	13m 49s
	1h 6m 41s