skip docker push

[skip_ci]

Author: dhimmel

.github/workflows/manubot.yaml

@@ -33,10 +33,11 @@ jobs:
         id: docker_build
         uses: docker/build-push-action@v2
         with:
-          push: true
+          push: false
           context: build
           tags: |
-            ${{ github.repository_owner }}/manubot:latest
+            ghcr.io/${{ github.repository_owner }}/manubot:latest
+          cache-to: type=inline
       - name: Set Environment Variables
         run: |
           TRIGGERING_SHA=${GITHUB_PULL_REQUEST_SHA:-$GITHUB_SHA}
@@ -46,6 +47,7 @@ jobs:
           echo "DEFAULT_BRANCH=${DEFAULT_BRANCH}" >> $GITHUB_ENV
           echo "DEFAULT_BRANCH_REF=refs/heads/$DEFAULT_BRANCH" >> $GITHUB_ENV
           echo "DEFAULT_BRANCH=$DEFAULT_BRANCH"
+          echo "IMAGE=ghcr.io/${{ github.repository_owner }}/manubot" >> $GITHUB_ENV
       - name: Cache
         uses: actions/cache@v1
         with:
@@ -67,8 +69,12 @@ jobs:
             bash ci/install-spellcheck.sh
           fi
       - name: Build Manuscript
-        shell: bash --login {0}
-        run: bash build/build.sh
+        run: |
+          docker run \
+            --workdir /manuscript \
+            --mount "type=bind,source=$(pwd),target=/manuscript" \
+            $IMAGE \
+            bash build/build.sh
       - name: Upload Artifacts
         uses: actions/upload-artifact@v1
         with: