Build pull request

CI: reduce runners #465

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Prepare	28s
checks / check-style	58s
checks / other-checks	31s
CI Pipeline / Check	2m 24s
CI Pipeline / Build (amd64, gcc)	4m 45s
CI Pipeline / Build (amd64, clang)	4m 8s
CI Pipeline / Build (arm64, gcc)	4m 26s
CI Pipeline / Code Coverage	10m 54s
CI Pipeline / Build (arm64, clang)	3m 37s
CI Pipeline / Benchmark	3m 0s
CI Pipeline / Documentation	2m 22s
CI Pipeline / Test (arm64, gcc)	5m 50s
CI Pipeline / Test (arm64, clang)	5m 33s
CI Pipeline / Test (amd64, gcc)	7m 12s
CI Pipeline / Test (amd64, clang)	6m 47s
CI Pipeline / Package	0s
pr-builder / run	1s
	1h 2m 56s