github: Tweak Docker jobs

.github/workflows/ci.yml

@@ -136,10 +136,10 @@ jobs:
         ./test/qemu.sh $RUNNER_TEMP/boot-qemu_x86_virt.bin.gz \
                        $RUNNER_TEMP/${{ matrix.os }}-${{ matrix.suite }}-${{ matrix.arch }}-*.bin.gz
 
-  deploy-docker:
+  build-docker:
     runs-on: ubuntu-latest
     needs: test-debian-x86
-    name: deploy docker images
+    name: build docker images
 
     steps:
       - name: Checkout

.github/workflows/docker.yml

@@ -3,6 +3,9 @@ name: docker build and deploy
 on:
   push:
     branches: "master"
+    paths-ignore:
+      - 'docs/**'
+      - '.github/**'
 
 permissions:
       id-token: write