bump libigl and update decimates #130
| Job | Run time |
|---|---|
| 17s | |
| 35m 37s | |
| 57m 57s | |
| 47m 5s | |
| 35m 8s | |
| 57m 18s | |
| 47m 5s | |
| 34m 22s | |
| 52m 50s | |
| 53m 23s | |
| 46m 5s | |
| 36m 3s | |
| 21m 2s | |
| 16m 13s | |
| 46m 41s | |
| 34m 50s | |
| 20m 18s | |
| 17m 6s | |
| 46m 48s | |
| 34m 58s | |
| 25m 10s | |
| 16m 46s | |
| 45m 59s | |
| 34m 9s | |
| 20m 7s | |
| 22m 51s | |
| 46m 9s | |
| 0s | |
| 15h 52m 17s |