Build pull request

Replace empty stubs with symlinks to the real docs, fix empty url to … #1155

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Prepare	32s
Prepare	32s
checks / check-style	53s
checks / check-style	53s
checks / other-checks	34s
checks / other-checks	34s
CI Pipeline / Build	7m 45s
CI Pipeline / Build	7m 45s
CI Pipeline / Check	9m 8s
CI Pipeline / Check	9m 8s
CI Pipeline / Test	1h 0m 11s
CI Pipeline / Test	54m 29s
CI Pipeline / Documentation	18m 20s
CI Pipeline / Documentation	18m 20s
CI Pipeline / Package	0s
CI Pipeline / Package	0s
pr-builder / run	1s
pr-builder / run	2s
	3h 9m 7s