Use conda version of libsemigroups in the CI
#762
| Job | Run time |
|---|---|
| 5m 13s | |
| 6m 39s | |
| 5m 7s | |
| 5m 38s | |
| 5m 37s | |
| 5m 38s | |
| 5m 34s | |
| 6m 12s | |
| 7m 14s | |
| 6m 17s | |
| 59m 9s |
libsemigroups in the CI
#762
| Job | Run time |
|---|---|
| 5m 13s | |
| 6m 39s | |
| 5m 7s | |
| 5m 38s | |
| 5m 37s | |
| 5m 38s | |
| 5m 34s | |
| 6m 12s | |
| 7m 14s | |
| 6m 17s | |
| 59m 9s |