chore: updated vendored igraph #1776
| Job | Run time |
|---|---|
| 15m 35s | |
| 19m 58s | |
| 6m 37s | |
| 25m 33s | |
| 3m 28s | |
| 2m 56s | |
| 9m 43s | |
| 18m 45s | |
| 10m 20s | |
| 16m 13s | |
| 28m 9s | |
| 6m 33s | |
| 2h 43m 50s |
| Job | Run time |
|---|---|
| 15m 35s | |
| 19m 58s | |
| 6m 37s | |
| 25m 33s | |
| 3m 28s | |
| 2m 56s | |
| 9m 43s | |
| 18m 45s | |
| 10m 20s | |
| 16m 13s | |
| 28m 9s | |
| 6m 33s | |
| 2h 43m 50s |