Build pull request

Adding some more documentation to the scripts. #889

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Prepare	32s
Prepare	32s
checks / check-style	59s
checks / check-style	59s
CI Pipeline / Check	14m 59s
CI Pipeline / Check	14m 59s
checks / other-checks	37s
checks / other-checks	37s
CI Pipeline / Build	13m 58s
CI Pipeline / Build	13m 58s
CI Pipeline / Test	16m 21s
CI Pipeline / Test	50m 51s
CI Pipeline / Documentation	31m 32s
CI Pipeline / Documentation	31m 32s
CI Pipeline / Package	0s
CI Pipeline / Package	0s
pr-builder	0s
pr-builder / run	1s
	3h 12m 27s