Build pull request

Remove stop_after_rec, no need to set default values #1227

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Prepare	29s
checks / other-checks	35s
checks / check-style	3m 17s
CI Pipeline / Build	8m 41s
CI Pipeline / Check	9m 32s
CI Pipeline / Test	47m 51s
CI Pipeline / Documentation	17m 47s
CI Pipeline / Package	0s
pr-builder / run	1s
	1h 28m 13s