Build pull request

Fix copy/paste error #2167

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Prepare	27s
Prepare	27s
CI Pipeline / Check	9m 26s
CI Pipeline / Check	9m 26s
checks / other-checks	31s
checks / other-checks	31s
checks / check-style	1m 17s
checks / check-style	1m 17s
CI Pipeline / Build	8m 44s
CI Pipeline / Build	8m 44s
CI Pipeline / Test	19m 14s
CI Pipeline / Test	37m 56s
CI Pipeline / Documentation	35m 41s
CI Pipeline / Documentation	35m 41s
CI Pipeline / Conda Package	0s
CI Pipeline / Conda Package	42m 32s
pr-builder	0s
pr-builder	0s
	3h 31m 54s