testCompilation vs CoverageTests.checkInstrumentedRuns

[som-snytt]

Now sbt:scala3> scala3-compiler-bootstrapped/testCompilation 14914

fails

[info] Test run dotty.tools.dotc.coverage.CoverageTests started
[info] Test dotty.tools.dotc.coverage.CoverageTests.checkInstrumentedRuns started
No files matched "14914" in test
[error] Test dotty.tools.dotc.coverage.CoverageTests.checkInstrumentedRuns failed: java.nio.file.NoSuchFileException: /tmp/coverage10247589507664857363/scoverage.coverage, took 0.009 sec

Am I missing something? That is, I'm missing something, but what am I missing?

I'd prefer to skip coverage during development and then run all tests later.

[som-snytt]

This was fixed. Thanks for listening.