When setting up environment, source ~/.profile rather than the now non-existent ~/.bash_profile (fixes #105).
Update Ubuntu image from ubuntu2004 to ubuntu2204.
Update micromamba download URLs to current official recommendations (old URLs still work, but we don't know for how long this will continue to be the case).
When setting up environment, source ~/.profile rather than the now non-existent ~/.bash_profile (fixes #105).
Update Ubuntu image from ubuntu2004 to ubuntu2204.
Update micromamba download URLs to current official recommendations (old URLs still work, but we don't know for how long this will continue to be the case).