Try fix existing test coverage CI job #4614

# to view logs

Job	Run time
Build	1m 25s
Test (ubuntu-latest)	1m 43s
Test (Address Sanitizer)	2m 46s
Test (windows-latest)	3m 9s
Audit	2m 41s
Test (macos-latest)	1m 31s
Clippy	58s
Documentation	36s
Formatting	15s
Fuzz (translate)	3m 31s
Fuzz (execute)	3m 29s
Check mininum supported Rust version	17s
Fuzz (differential)	3m 49s
Miri	9m 35s
Miri (spec)	7m 13s
uDeps	56s
Coverage	3m 53s
	47m 47s

Provide feedback