Source:
vignettes/upgrading-mira-dd.Rmd
upgrading-mira-dd.Rmd
How to upgrade MIRA to the latest version in Docker Desktop
Go to the containers tab in Docker Desktop and select all containers. Then press the stop button.
Then press delete. You will be asked to confirm that you want to delete the container.
Go to the images tab in Docker Desktop and select the MIRA image. Then press delete.
You will be asked to confirm that you want to delete the image.
Then re-pull the latest MIRA image as instructed here