Build pull request

Revert "Always run the PR builder step even if others are cancelled (… #1366

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Prepare	32s
checks / check-style	3m 10s
CI Pipeline / Build	13m 13s
checks / other-checks	35s
CI Pipeline / Check	15m 9s
CI Pipeline / Test	49m 4s
CI Pipeline / Documentation	27m 49s
CI Pipeline / Package	0s
pr-builder / run	3s
	1h 49m 35s