Build pull request

Fix manifest #435

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Prepare	27s
checks / other-checks	31s
checks / check-style	53s
CI Pipeline / Check	2m 28s
CI Pipeline / Build (amd64, gcc)	4m 40s
CI Pipeline / Build (amd64, clang)	4m 5s
CI Pipeline / Code Coverage	1h 0m 1s
CI Pipeline / Build (arm64, gcc)	4m 22s
CI Pipeline / Build (arm64, clang)	3m 34s
CI Pipeline / Benchmark	3m 3s
CI Pipeline / Test (amd64, gcc)	1s
CI Pipeline / Documentation	2m 22s
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
	1h 26m 32s