Update build.yaml

Author: alex-treebeard

.github/workflows/build.yaml

@@ -55,7 +55,12 @@ jobs:
         with:
           images: ${{ env.REGISTRY }}/${{ env.IMAGE_NAME }}
       - name: Build image
-        run: docker build . --file Dockerfile --tag $IMAGE_NAME --label "runnumber=${GITHUB_RUN_ID}"
+        run: |
+          devcontainer build \
+              --workspace-folder . \
+              --config .devcontainer/vm/devcontainer.json \
+              --image-name $IMAGE_NAME
+        # run: docker build . --file Dockerfile --tag $IMAGE_NAME --label "runnumber=${GITHUB_RUN_ID}"
       - name: Push image
         run: |
           IMAGE_ID=ghcr.io/${{ github.repository_owner }}/$IMAGE_NAME