Changes to make ready for version 1.8.1 release #25

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build manuals	1m 33s
master	3m 46s
stable-4.13	3m 53s
stable-4.12	4m 27s
stable-4.11	3m 40s
stable-4.10	4m 12s
stable-4.9	4m 19s
	25m 50s