Closed pulsastrix closed 1 week ago
PR itself is good to go, but for some reason the test_coverage
CI is failing now.
Apparently, the -Zprofile
unstable flag has been removed, see rust-lang/rust#131829 and the feature's tracking issue rust-lang/rust#42524.
The (stable) replacement seems to be the instrument-coverage
flag, I'll have a look at the required changes to get our pipeline working again using this flag.
The pipeline is now switched over to using the newer (and stable) -C instrument-coverage
flag, which enables source-based coverage reports.
For future reference, see:
The new stable release of grcov fixes the compilation issue related to the
time
crate, which we previously worked around by pulling in the branch from mozilla/grcov#1191.Therefore, our previous workaround is no longer necessary, and we can use the stable version again.