Back to pull request #6145

Config: Remove use of `NO_DEFAULT` for `Option.default` #7207

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
verdi (3.9)	38s
verdi (3.11)	36s
check-requirements	10s
tests (3.9)	19m 6s
tests (3.11)	17m 57s
	38m 27s