Remove some uses of >> for THEN1 #462

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-mosml	35m 21s
build-stdknl	1h 25m 0s
build-otknl	2h 10m 22s
build-expk	1h 30m 53s
	5h 41m 36s