bump libigl and update decimates #116
| Job | Run time |
|---|---|
| 17s | |
| 33m 14s | |
| 10m 4s | |
| 33m 8s | |
| 33m 18s | |
| 10m 6s | |
| 33m 26s | |
| 33m 16s | |
| 7m 18s | |
| 7m 17s | |
| 33m 35s | |
| 33m 13s | |
| 1s | |
| 1s | |
| 33m 38s | |
| 33m 15s | |
| 24m 43s | |
| 23m 12s | |
| 33m 25s | |
| 33m 14s | |
| 22m 59s | |
| 25m 57s | |
| 33m 31s | |
| 33m 20s | |
| 10m 25s | |
| 14m 44s | |
| 33m 49s | |
| 1s | |
| 10h 24m 27s |