Update miniconda link for HOW_WE_USE_GITHUB.md (#894)
#103
| Job | Run time |
|---|---|
| 1m 5s | |
| 1m 5s |
HOW_WE_USE_GITHUB.md (#894)
#103
| Job | Run time |
|---|---|
| 1m 5s | |
| 1m 5s |