Merge pull request #272 from gap-packages/ConcatenationPaths #451

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build manuals	5m 3s
master	6m 11s
stable-4.12	3m 32s
stable-4.11	5m 8s
	19m 54s