Build pull request

Add a --manual_seed flag to the CLI (#1445) #3601

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Prepare	32s
CI Pipeline / Build	13m 57s
CI Pipeline / Test	44m 9s
CI Pipeline / Check	0s
CI Pipeline / Documentation	23m 21s
	1h 21m 59s