Resolve modernize-deprecated-headers (#555)
#333
| Job | Run time |
|---|---|
| 15s | |
| 28s | |
| 11s | |
| 18s | |
| 1m 12s |
modernize-deprecated-headers (#555)
#333
| Job | Run time |
|---|---|
| 15s | |
| 28s | |
| 11s | |
| 18s | |
| 1m 12s |