Use conda version of libsemigroups in the CI
#758
| Job | Run time |
|---|---|
| 4m 4s | |
| 5m 24s | |
| 4m 39s | |
| 5m 21s | |
| 5m 33s | |
| 4m 49s | |
| 5m 24s | |
| 8m 7s | |
| 5m 15s | |
| 4m 2s | |
| 52m 38s |
libsemigroups in the CI
#758
| Job | Run time |
|---|---|
| 4m 4s | |
| 5m 24s | |
| 4m 39s | |
| 5m 21s | |
| 5m 33s | |
| 4m 49s | |
| 5m 24s | |
| 8m 7s | |
| 5m 15s | |
| 4m 2s | |
| 52m 38s |