ci: use -Cinstrument-coverage instead of -Zprofile
#20
The logs for this run have expired and are no longer available.
Loading
-Cinstrument-coverage instead of -Zprofile
#20