Use the embeddable filename for coverage artifacts#150036
Merged
bors merged 1 commit intorust-lang:mainfrom Dec 16, 2025
Merged
Use the embeddable filename for coverage artifacts#150036bors merged 1 commit intorust-lang:mainfrom
bors merged 1 commit intorust-lang:mainfrom
