Location of miniconda install script

I am getting a 302 error when running bootstrap.py, in the request for the miniconda install script. The url of the request is http://www.idiap.ch/miniconda/Miniconda3-py37_4.8.2-Linux-x86_64.sh and the url of the re-direction is the same, but https instead of http. However, I get a 404 at the https url. Is the ressource missing or am I doing something wrong ?

For context, I am trying to find out why the build of the opencv package in bob/conda is failing in the CI, but working fine locally. So I am trying to run the build steps of base-build.yaml in a docker with the c3i-linux-64 image.