Use conda version of libsemigroups in the CI
#750
| Job | Run time |
|---|---|
| 5m 20s | |
| 7m 43s | |
| 5m 44s | |
| 5m 46s | |
| 5m 40s | |
| 5m 44s | |
| 5m 10s | |
| 5m 38s | |
| 6m 9s | |
| 4m 53s | |
| 57m 47s |
libsemigroups in the CI
#750
| Job | Run time |
|---|---|
| 5m 20s | |
| 7m 43s | |
| 5m 44s | |
| 5m 46s | |
| 5m 40s | |
| 5m 44s | |
| 5m 10s | |
| 5m 38s | |
| 6m 9s | |
| 4m 53s | |
| 57m 47s |