Noticing that the conda builds are taking a long while, switching to micromamba will significantly speed CI up.