Build pull request

Add CR #794

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Prepare	43s
Prepare	43s
CI Pipeline / Check	7m 34s
CI Pipeline / Check	7m 34s
CI Pipeline / Build (gcc)	6m 24s
CI Pipeline / Build (gcc)	6m 24s
CI Pipeline / Build (clang)	5m 40s
CI Pipeline / Build (clang)	5m 40s
CI Pipeline / Code Coverage	13m 32s
CI Pipeline / Code Coverage	13m 32s
CI Pipeline / Documentation	7m 22s
CI Pipeline / Documentation	7m 22s
CI Pipeline / Benchmark	11m 10s
CI Pipeline / Benchmark	11m 10s
CI Pipeline / Test (gcc)	17m 2s
CI Pipeline / Test (gcc)	15m 44s
CI Pipeline / Test (clang)	16m 46s
CI Pipeline / Test (clang)	16m 40s
CI Pipeline / Package	0s
CI Pipeline / Package	0s
	2h 51m 2s