Fix make-dev-environment.sh when using mamba+conda
#879
| Job | Run time |
|---|---|
| 14s | |
| 14s |
make-dev-environment.sh when using mamba+conda
#879
| Job | Run time |
|---|---|
| 14s | |
| 14s |