CI build

Final touches of new cats docs #1236

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (2_12, jvm, temurin:1.8.0-392)	3m 13s
check-formatting	16s
build (2_12, jvm, temurin:1.21.0.1)	3m 21s
build (2_12, js, temurin:1.8.0-392)	2m 47s
build (2_12, js, temurin:1.21.0.1)	2m 40s
build (2_12, native, temurin:1.8.0-392)	3m 35s
build (2_12, native, temurin:1.21.0.1)	3m 55s
build (2_13, jvm, temurin:1.8.0-392)	2m 27s
build (2_13, jvm, temurin:1.21.0.1)	2m 32s
build (2_13, js, temurin:1.8.0-392)	2m 50s
build (2_13, js, temurin:1.21.0.1)	2m 47s
build (2_13, native, temurin:1.8.0-392)	3m 48s
build (2_13, native, temurin:1.21.0.1)	3m 34s
build (3, jvm, temurin:1.8.0-392)	3m 24s
build (3, jvm, temurin:1.21.0.1)	3m 25s
build (3, js, temurin:1.8.0-392)	2m 52s
build (3, js, temurin:1.21.0.1)	2m 55s
build (3, native, temurin:1.8.0-392)	4m 13s
build (3, native, temurin:1.21.0.1)	4m 23s
	58m 57s