diff --git a/.github/workflows/build.yaml b/.github/workflows/build.yaml
index 4b1747f1..31b6c97d 100644
--- a/.github/workflows/build.yaml
+++ b/.github/workflows/build.yaml
@@ -98,9 +98,7 @@ jobs:
           # Log into registry
           echo "${{ secrets.DOCKER_HUB_TOKEN }}" |
             docker login -u ${{ secrets.DOCKER_HUB_USERNAME }} --password-stdin
-          make push-minimal
           if [ "$STACK" != 'static' ]; then
-              make push-core
               make push-latex
               make push-extra
           fi