Build pull request

Merge branch 'branch-23.11' into branch-24.03-merge-23.11 #966

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Prepare	31s
CI Pipeline / Code Coverage	18m 51s
CI Pipeline / Build (gcc)	6m 34s
CI Pipeline / Check	9m 42s
CI Pipeline / Build (clang)	6m 16s
CI Pipeline / Benchmark	8m 0s
CI Pipeline / Test (gcc)	12m 8s
CI Pipeline / Documentation	7m 37s
CI Pipeline / Test (clang)	13m 27s
CI Pipeline / Package	0s
	1h 23m 6s