CI Build

Fix empty Section Navigation on some pages #168

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (3.10)	3m 46s
build (3.11)	3m 44s
build (3.12)	4m 41s
build (3.13)	4m 26s
	16m 37s