ci: fix the compilation of grcov
#457
| Job | Run time |
|---|---|
| 21s | |
| 6m 41s | |
| 13m 25s | |
| 11m 47s | |
| 19m 7s | |
| 19s | |
| 51m 40s |
grcov
#457
| Job | Run time |
|---|---|
| 21s | |
| 6m 41s | |
| 13m 25s | |
| 11m 47s | |
| 19m 7s | |
| 19s | |
| 51m 40s |