push containers manually because docker is incredibly broken (docker/…

…build-push-action#900)

.github/workflows/docker.yaml

@@ -41,21 +41,21 @@ jobs:
           images: |
             ghcr.io/${{ github.repository }}
 
-      - name: Build and push Docker images
+      - name: Build Docker images
         id: push
         uses: docker/build-push-action@3b5e8027fcad23fda98b2e3ac259d8d67585f671
         with:
           context: .
-          push: true
+          load: true
+          pull: true
+          push: false
           tags: ${{ steps.meta.outputs.tags }}
           labels: ${{ steps.meta.outputs.labels }}
           cache-from: type=registry,ref=${{ steps.meta.outputs.tags }}
           cache-to: type=registry,ref=${{ steps.meta.outputs.tags }},mode=max
           provenance: false
 
-      # name: Generate artifact attestation
-      # uses: actions/attest-build-provenance@v2
-      # with:
-      #   subject-name: ${{ env.REGISTRY }}/${{ env.IMAGE_NAME}}
-      #   subject-digest: ${{ steps.push.outputs.digest }}
-      #   push-to-registry: true
+      - name: Push Docker images to ghcr.io
+        run: |
+          docker push ghcr.io/${{ github.repository }}:${{ steps.meta.outputs.tags }}
+