Use conda version of libsemigroups in the CI
#744
| Job | Run time |
|---|---|
| 5m 37s | |
| 5m 54s | |
| 5m 37s | |
| 5m 46s | |
| 5m 47s | |
| 5m 28s | |
| 5m 39s | |
| 4m 41s | |
| 4m 57s | |
| 5m 6s | |
| 54m 32s |
libsemigroups in the CI
#744
| Job | Run time |
|---|---|
| 5m 37s | |
| 5m 54s | |
| 5m 37s | |
| 5m 46s | |
| 5m 47s | |
| 5m 28s | |
| 5m 39s | |
| 4m 41s | |
| 4m 57s | |
| 5m 6s | |
| 54m 32s |