Merge pull request #287 from gap-packages/canonical #504

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build manuals	4m 31s
master	4m 20s
stable-4.13	4m 17s
stable-4.12	3m 56s
	17m 4s