CI

Merge pull request #297 from gap-packages/mh/AvailabilityTest #523

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build manuals	4m 59s
master	4m 2s
stable-4.13	3m 54s
stable-4.12	4m 5s
	17m 0s