Build pull request

Fix EdgeHolder from incorrectly reporting an active connection (#402) #882

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Prepare	41s
CI Pipeline / Build (gcc)	6m 28s
CI Pipeline / Build (clang)	5m 49s
CI Pipeline / Code Coverage	37m 27s
CI Pipeline / Check	0s
CI Pipeline / Benchmark	7m 49s
CI Pipeline / Documentation	7m 39s
CI Pipeline / Test (gcc)	12m 34s
CI Pipeline / Test (clang)	14m 23s
CI Pipeline / Package	32m 11s
	2h 5m 1s