CI issues

[Philipp Dallig]

Dear Zeppelin Devs,

right now our GitHub CI jobs are mostly broken due to 
https://github.com/conda-incubator/setup-miniconda/issues/160.

I hope for a quick bugfix release.

With best regards
Philipp