Build pull request

Auto-reg ports #233

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Prepare	35s
checks / other-checks	37s
checks / check-style	1m 9s
CI Pipeline / Check	12m 51s
CI Pipeline / Build (gcc)	9m 39s
CI Pipeline / Build (clang)	9m 12s
CI Pipeline / Code Coverage	13m 3s
CI Pipeline / Benchmark	6m 46s
CI Pipeline / Documentation	7m 18s
CI Pipeline / Test (gcc)	11m 23s
CI Pipeline / Test (clang)	11m 4s
CI Pipeline / Package	0s
pr-builder	0s
	1h 23m 37s