Build pull request

Fix auto-merger error merging branch 23.11 into 24.03 #967

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Prepare	27s
CI Pipeline / Build (gcc)	6m 29s
CI Pipeline / Code Coverage	1h 0m 5s
CI Pipeline / Build (clang)	5m 43s
CI Pipeline / Check	0s
CI Pipeline / Documentation	8m 6s
CI Pipeline / Benchmark	8m 18s
CI Pipeline / Test (gcc)	15m 14s
CI Pipeline / Test (clang)	12m 27s
CI Pipeline / Package	32m 5s
	2h 28m 54s