Resolve https://github.com/gap-system/gap/issues/5761 #83

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build manuals	1m 23s
master	53s
master cygwin64	2m 2s
stable-4.13	54s
stable-4.12	1m 0s
master 32	1m 16s
	7m 28s