CI build

Update mkdocs-material to 9.5.4, mkdocs-macros to 1.0.5, enable tooltips #1249

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
check-formatting	17s
build (2_12, jvm, temurin:1.8.0-392)	3m 1s
build (2_12, jvm, temurin:1.21.0.1)	3m 21s
build (2_12, js, temurin:1.8.0-392)	2m 39s
build (2_12, js, temurin:1.21.0.1)	2m 55s
build (2_12, native, temurin:1.8.0-392)	3m 12s
build (2_12, native, temurin:1.21.0.1)	3m 24s
build (2_13, jvm, temurin:1.8.0-392)	2m 43s
build (2_13, jvm, temurin:1.21.0.1)	2m 56s
build (2_13, js, temurin:1.8.0-392)	2m 37s
build (2_13, js, temurin:1.21.0.1)	2m 44s
build (2_13, native, temurin:1.8.0-392)	3m 9s
build (2_13, native, temurin:1.21.0.1)	3m 3s
build (3, jvm, temurin:1.8.0-392)	3m 7s
build (3, jvm, temurin:1.21.0.1)	3m 8s
build (3, js, temurin:1.8.0-392)	2m 52s
build (3, js, temurin:1.21.0.1)	3m 17s
build (3, native, temurin:1.8.0-392)	3m 54s
build (3, native, temurin:1.21.0.1)	3m 27s
	55m 46s