Build pull request

fix build interface includes (#514) #391

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	1m 1s
CI Pipeline / Build (gcc)	6m 3s
CI Pipeline / Check	7m 45s
CI Pipeline / Build (clang)	5m 28s
CI Pipeline / Code Coverage	10m 57s
CI Pipeline / Benchmark	4m 25s
CI Pipeline / Test (gcc)	10m 48s
CI Pipeline / Test (clang)	10m 11s
CI Pipeline / Documentation	4m 6s
CI Pipeline / Package	0s
pr-builder	0s
	1h 1m 42s