Build pull request

Remove unused include #355

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Prepare	29s
Prepare	29s
checks / check-style	55s
checks / check-style	55s
checks / other-checks	32s
checks / other-checks	32s
CI Pipeline / Check	3m 37s
CI Pipeline / Check	3m 37s
CI Pipeline / Build (gcc)	5m 30s
CI Pipeline / Build (gcc)	5m 30s
CI Pipeline / Build (clang)	5m 33s
CI Pipeline / Build (clang)	5m 33s
CI Pipeline / Code Coverage	10m 16s
CI Pipeline / Code Coverage	9m 41s
CI Pipeline / Documentation	3m 59s
CI Pipeline / Documentation	3m 59s
CI Pipeline / Test (gcc)	7m 15s
CI Pipeline / Test (gcc)	7m 15s
CI Pipeline / Benchmark	4m 52s
CI Pipeline / Benchmark	4m 52s
CI Pipeline / Test (clang)	7m 19s
CI Pipeline / Test (clang)	7m 19s
CI Pipeline / Package	0s
CI Pipeline / Package	0s
pr-builder	0s
pr-builder / run	2s
	1h 40m 1s