chore: Update vendored sources to igraph/igraph@0f383457a13864b86a29eed4faf4efaade4c1254 #3193
| Job | Run time |
|---|---|
| 6m 13s | |
| 24m 41s | |
| 12m 30s | |
| 4m 49s | |
| 12m 4s | |
| 6m 1s | |
| 6m 11s | |
| 6m 8s | |
| 6m 18s | |
| 6m 11s | |
| 5m 52s | |
| 1h 36m 58s |
| Job | Run time |
|---|---|
| 6m 13s | |
| 24m 41s | |
| 12m 30s | |
| 4m 49s | |
| 12m 4s | |
| 6m 1s | |
| 6m 11s | |
| 6m 8s | |
| 6m 18s | |
| 6m 11s | |
| 5m 52s | |
| 1h 36m 58s |