ci: use -Cinstrument-coverage
instead of -Zprofile
#1302
Job | Run time |
---|---|
16s | |
1m 50s | |
7s | |
11s | |
23s | |
36s | |
1m 55s | |
37s | |
1m 53s | |
7m 48s |
-Cinstrument-coverage
instead of -Zprofile
#1302
Job | Run time |
---|---|
16s | |
1m 50s | |
7s | |
11s | |
23s | |
36s | |
1m 55s | |
37s | |
1m 53s | |
7m 48s |