Add support for disabling sidebar automatic numbering #1589

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
macOS-latest (release)	10m 57s
windows-latest (release)	9m 16s
windows-latest (4.1)	11m 2s
ubuntu-latest (devel)	9m 35s
ubuntu-latest (release)	9m 27s
ubuntu-latest (oldrel-1)	10m 11s
ubuntu-latest (oldrel-2)	11m 36s
ubuntu-latest (oldrel-3)	12m 18s
ubuntu-latest (oldrel-4)	11m 46s
	1h 36m 8s