CI: install version of miniconda corresponding to python version