CI

Merge pull request #83 from cdwensley/issue77 #53

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build manuals	2m 20s
master	1m 49s
stable-4.14	2m 2s
stable-4.13	1m 49s
stable-4.12	1m 52s
	9m 52s