Require GMP and take GAP's GMP_PREFIX into account #95

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build manuals	1m 29s
master	56s
stable-4.13	53s
stable-4.12	58s
stable-4.11	59s
stable-4.10	2m 2s
stable-4.9	1m 23s
master 32	1m 8s
	9m 48s