bump libigl and update decimates #133
| Job | Run time |
|---|---|
| 17s | |
| 34m 59s | |
| 54m 36s | |
| 46m 14s | |
| 34m 17s | |
| 50m 59s | |
| 46m 0s | |
| 34m 39s | |
| 51m 12s | |
| 1h 2m 33s | |
| 47m 4s | |
| 34m 2s | |
| 20m 43s | |
| 18m 38s | |
| 45m 50s | |
| 34m 10s | |
| 20m 55s | |
| 44m 52s | |
| 46m 27s | |
| 34m 2s | |
| 23m 22s | |
| 21m 5s | |
| 49m 16s | |
| 35m 36s | |
| 22m 27s | |
| 18m 58s | |
| 49m 38s | |
| 0s | |
| 16h 22m 51s |