Docs: add docs pipeline

Author: jaapio

.github/workflows/docs.yml

@@ -44,13 +44,13 @@ jobs:
       - name: "Login to Docker Hub"
         uses: "docker/login-action@v3"
         with:
-          registry: ${{ env.REGISTRY }}
-          username: ${{ github.actor }}
-          password: ${{ secrets.GITHUB_TOKEN }}
+          registry: "${{ env.REGISTRY }}"
+          username: "${{ github.actor }}"
+          password: "${{ secrets.GITHUB_TOKEN }}"
 
       - name: "Build and push"
         uses: "docker/build-push-action@v5"
         with:
           context: "build/docs"
           push: true
-          tags: ${{ env.REGISTRY }}/${{ env.IMAGE_NAME }}:latest
+          tags: "${{ env.REGISTRY }}/${{ env.IMAGE_NAME }}:latest"