some FUNPOW Tau and spin lemmas for itreeTau #509

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-expk	1h 12m 10s
build-otknl	1h 58m 16s
build-stdknl	1h 10m 21s
build-mosml	37m 32s
	4h 58m 19s