check

test: improve coverage for `double/double.mbt` #5230

Job	Run time
coverage-check	17s
license-header-check	8s
bleeding-check (macos-latest)	43s
bleeding-check (ubuntu-latest)	51s
build (ubuntu-latest)	1m 9s
moon-json-format-check	4s
bleeding-check (windows-latest)	1m 15s
build (macos-latest)	1m 32s
bleeding-check (macos-13)	1m 0s
build (macos-13)	1m 24s
nightly-check (ubuntu-latest)	2m 38s
build (windows-latest)	1m 39s
nightly-check (macos-latest)	1m 40s
typo-check	5s
nightly-check (macos-13)	2m 45s
nightly-check (windows-latest)	1m 58s
	19m 8s

Provide feedback