Merge pull request #254 from MeikeWeiss/meike/CounterComparison #414

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build manuals	6m 4s
master	5m 39s
stable-4.12	5m 11s
stable-4.11	4m 30s
	21m 24s