Back to pull request #729

Add git-stable-4.14 to ci #513

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
GAP master / only-needed	4m 35s
GAP master / needed+suggested	13m 16s
GAP stable-4.11 / only-needed	4m 45s
GAP stable-4.11 / needed+suggested	6m 5s
GAP stable-4.12 / only-needed	4m 53s
GAP stable-4.12 / needed+suggested	13m 41s
GAP stable-4.13 / only-needed	4m 41s
GAP stable-4.13 / needed+suggested	13m 31s
GAP stable-4.14 / only-needed	4m 43s
GAP stable-4.14 / needed+suggested	14m 14s
	1h 24m 24s