bump libigl and update decimates #122
| Job | Run time |
|---|---|
| 23s | |
| 40m 14s | |
| 21m 49s | |
| 45m 30s | |
| 35m 41s | |
| 21m 46s | |
| 47m 14s | |
| 34m 55s | |
| 10m 4s | |
| 8m 36s | |
| 47m 20s | |
| 35m 38s | |
| 1s | |
| 6m 23s | |
| 46m 7s | |
| 34m 37s | |
| 34m 32s | |
| 21m 43s | |
| 45m 14s | |
| 34m 35s | |
| 32m 41s | |
| 20m 57s | |
| 46m 28s | |
| 34m 38s | |
| 22m 59s | |
| 24m 39s | |
| 46m 7s | |
| 1s | |
| 13h 20m 52s |