Makefile change triggers Github workflow

groue · groue · commit 04bdafd4487f · 2022-12-10T13:19:10.000+01:00
diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
@@ -9,12 +9,14 @@ on:
       - 'GRDB/**'
       - 'Tests/**'
       - '.github/workflows/**'
+      - 'Makefile'
       - 'Package.swift'
   pull_request:
     paths:
       - 'GRDB/**'
       - 'Tests/**'
       - '.github/workflows/**'
+      - 'Makefile'
       - 'Package.swift'
 
 concurrency: 
