Change Docker image tag from 'latest' to 'mini'

Author: johntfoster

.github/workflows/build-docker-image.yml

@@ -50,4 +50,4 @@ jobs:
         with:
           file: .devcontainer/Dockerfile
           push: true
-          tags: ghcr.io/${{ env.repo_name_lower }}/devcontainer:latest
+          tags: ghcr.io/${{ env.repo_name_lower }}/devcontainer:mini