commit 183164ef84216d19343e9c744d48fd2cf2c3fe37
author Davide Pesavento <davidepesa@gmail.com> Tue Apr 09 16:10:51 2024 -0400
committer Davide Pesavento <davidepesa@gmail.com> Tue Apr 09 16:10:51 2024 -0400
tree d4f0bae56cdf6579429cee49c13866ed8bf9920b
parent 4b3aa4fd096caec9e227c9e9d8261ad589a7279b

Add Docker build badge to README.md

Change-Id: I8577bed7294511896338ac5a6db397b0fd03ee0c

.github/workflows/ci.yml

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index ae09443..fdf76cb 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -2,10 +2,14 @@
 on:
   push:
     paths-ignore:
-      - 'docs/**'
       - '*.conf.sample*'
-      - '*.md'
+      - 'Dockerfile'
+      - '.dockerignore'
+      - 'docs/**'
+      - '.editorconfig'
+      - '.gitignore'
       - '.mailmap'
+      - '*.md'
   workflow_dispatch:
 
 permissions: {}