Swap Sphinx to Mkdocs #1037

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (2_12, jvm, adopt:1.8.0-292)	3m 52s
build (2_12, jvm, temurin:1.19.0.2)	5m 35s
build (2_12, js, adopt:1.8.0-292)	2m 24s
build (2_12, js, temurin:1.19.0.2)	3m 56s
build (2_12, native, adopt:1.8.0-292)	5m 1s
build (2_12, native, temurin:1.19.0.2)	4m 47s
build (2_13, jvm, adopt:1.8.0-292)	4m 48s
build (2_13, jvm, temurin:1.19.0.2)	5m 2s
build (2_13, js, adopt:1.8.0-292)	2m 32s
build (2_13, js, temurin:1.19.0.2)	3m 55s
build (2_13, native, adopt:1.8.0-292)	3m 42s
build (2_13, native, temurin:1.19.0.2)	4m 16s
build (3, jvm, adopt:1.8.0-292)	5m 11s
build (3, jvm, temurin:1.19.0.2)	6m 7s
build (3, js, adopt:1.8.0-292)	3m 12s
build (3, js, temurin:1.19.0.2)	3m 53s
build (3, native, adopt:1.8.0-292)	3m 49s
build (3, native, temurin:1.19.0.2)	4m 4s
benchmark	0s
	1h 16m 6s