ci: fix the compilation of grcov
#460
| Job | Run time |
|---|---|
| 17s | |
| 6m 13s | |
| 13m 45s | |
| 10m 4s | |
| 16m 8s | |
| 19m 28s | |
| 1h 5m 55s |
grcov
#460
| Job | Run time |
|---|---|
| 17s | |
| 6m 13s | |
| 13m 45s | |
| 10m 4s | |
| 16m 8s | |
| 19m 28s | |
| 1h 5m 55s |