Newrecog2.11.2: fork from master during GAPdays Summer 2024 #201

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
master	4m 56s
Build manuals	1m 28s
stable-4.13	5m 0s
stable-4.12	5m 7s
stable-4.11	5m 2s
stable-4.10	7m 11s
stable-4.9	6m 38s
	35m 22s