CI

CI: test against stable-4.13 & 4.14 #108

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build manuals	1m 24s
master	1m 7s
stable-4.14	1m 2s
stable-4.13	58s
stable-4.12	1m 5s
stable-4.11	1m 55s
	7m 31s