Dummy PR to test coverage test changes in CI#112514

Closed

Zalathar wants to merge 1 commit intorust-lang:masterfrom

Zalathar:dummy-coverage

Commits on Jul 6, 2023

(DO NOT MERGE) Check that these tests do indeed work on Linux
Zalathar
committed