From 8f601d2858d29d637ca0a57947ce275b8cc969d8 Mon Sep 17 00:00:00 2001
From: Edoardo Baldi <edoardob90@gmail.com>
Date: Mon, 12 May 2025 15:31:53 +0200
Subject: [PATCH] Change GitHub workflow

Run only if Dockerfile or any file related is changed.
Do not automatically run if notebooks' content is updated, since that
update can be easily pulled via git.
---
 .github/workflows/docker-build.yml | 24 ++++++++++++++----------
 1 file changed, 14 insertions(+), 10 deletions(-)

diff --git a/.github/workflows/docker-build.yml b/.github/workflows/docker-build.yml
index 497bde38..5e5476ec 100644
--- a/.github/workflows/docker-build.yml
+++ b/.github/workflows/docker-build.yml
@@ -5,20 +5,24 @@ on:
   push:
     branches:
       - main
-    paths-ignore:
-      - "*.md"
-      - slides/**
-      - images/**
-      - .gitignore
+    paths:
+      - "Dockerfile"
+      - "docker/**"
+      - "binder/**"
+      - "**/environment.yml"
+      - "tutorial/tests/testsuite/**"
+      - ".github/workflows/docker-build.yml"
     tags:
       - "v*.*"
       - "v*.*.*"
   pull_request:
-    paths-ignore:
-      - "*.md"
-      - slides/**
-      - images/**
-      - .gitignore
+    paths:
+      - "Dockerfile"
+      - "docker/**"
+      - "binder/**"
+      - "**/environment.yml"
+      - "tutorial/tests/testsuite/**"
+      - ".github/workflows/docker-build.yml"
   workflow_dispatch:
 
 jobs: