From 6708f983477f6f902e3da8edeb06b4e56b5a7b8c Mon Sep 17 00:00:00 2001
From: Johan Gunnarsson <johan.gunnarsson@gmail.com>
Date: Wed, 15 Mar 2023 21:52:30 +0100
Subject: [PATCH] github: Tweak Docker jobs

---
 .github/workflows/ci.yml     | 4 ++--
 .github/workflows/docker.yml | 3 +++
 2 files changed, 5 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index e3890fa..9bb84db 100644
--- a/.github/workflows/ci.yml
+++ b/.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
diff --git a/.github/workflows/docker.yml b/.github/workflows/docker.yml
index 2d7a95c..e7d628e 100644
--- a/.github/workflows/docker.yml
+++ b/.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