Build pull request

wip #433

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Prepare	27s
CI Pipeline / Build (amd64, gcc)	4m 44s
CI Pipeline / Build (amd64, clang)	3m 58s
checks / other-checks	30s
CI Pipeline / Code Coverage	1s
CI Pipeline / Build (arm64, gcc)	4m 19s
CI Pipeline / Check	2m 0s
CI Pipeline / Build (arm64, clang)	3m 48s
checks / check-style	58s
CI Pipeline / Documentation	2m 6s
CI Pipeline / Benchmark	2m 15s
CI Pipeline / Test (amd64, gcc)	1s
CI Pipeline / Test (amd64, clang)	1s
CI Pipeline / Test (arm64, gcc)	1s
CI Pipeline / Test (arm64, clang)	1s
CI Pipeline / Package	1s
pr-builder	1s
	25m 12s