CI

Merge pull request #77 from gap-packages/mh/new-release #228

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build manuals	2m 10s
master	5m 3s
stable-4.14	5m 19s
stable-4.13	5m 0s
stable-4.12	5m 16s
stable-4.11	5m 3s
stable-4.10	5m 43s
stable-4.9	5m 50s
	39m 24s