Build pull request

Fix get-pr-info gha reference (#500) #369

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Prepare	28s
Prepare	28s
checks / other-checks	38s
checks / other-checks	38s
checks / check-style	58s
checks / check-style	58s
CI Pipeline / Build (gcc)	5m 45s
CI Pipeline / Build (gcc)	5m 45s
CI Pipeline / Check	4m 17s
CI Pipeline / Check	4m 8s
CI Pipeline / Build (clang)	4m 57s
CI Pipeline / Build (clang)	4m 57s
CI Pipeline / Code Coverage	10m 26s
CI Pipeline / Code Coverage	10m 26s
CI Pipeline / Benchmark	4m 18s
CI Pipeline / Benchmark	4m 18s
CI Pipeline / Test (gcc)	7m 42s
CI Pipeline / Test (gcc)	7m 42s
CI Pipeline / Documentation	3m 50s
CI Pipeline / Documentation	3m 50s
CI Pipeline / Test (clang)	6m 57s
CI Pipeline / Test (clang)	6m 57s
CI Pipeline / Package	0s
CI Pipeline / Package	0s
pr-builder	0s
pr-builder	0s
	1h 40m 23s