Trigger CI when workflow files are changed (#36)

Changes of the workflow files now trigger the execution of the whole
pipeline

---------

Co-authored-by: Marius Brehler <[email protected]>

.github/workflows/build_and_deploy_docu.yml

@@ -6,6 +6,7 @@ on:
       - 'main'
     paths:
       - 'docs/**'
+      - '.github/workflows/build_and_deploy_docu.yml'
 
 
 permissions:

.github/workflows/code_coverage.yml

@@ -2,13 +2,19 @@ name: Measure code coverage
 
 on:
   push:
+    branches:
+      - 'main'
     paths:
+      - 'pfdl_scheduler/**'
       - 'tests/**'
+      - '.github/workflows/**'
   pull_request:
     branches:
       - 'main'
     paths:
+      - 'pfdl_scheduler/**'
       - 'tests/**'
+      - '.github/workflows/**'
 
 permissions:
   contents: read

.github/workflows/lint.yml

@@ -6,11 +6,15 @@ on:
       - 'main'
     paths:
       - 'pfdl_scheduler/**'
-  pull_request: 
+      - 'tests/**'
+      - '.github/workflows/**'
+  pull_request:
     branches:
       - 'main'
     paths:
       - 'pfdl_scheduler/**'
+      - 'tests/**'
+      - '.github/workflows/**'
 
 permissions:
   contents: read

.github/workflows/tests.yml

@@ -4,11 +4,15 @@ on:
   push:
     paths:
       - 'pfdl_scheduler/**'
+      - 'tests/**'
+      - '.github/workflows/**'
   pull_request:
     branches:
       - 'main'
     paths:
       - 'pfdl_scheduler/**'
+      - 'tests/**'
+      - '.github/workflows/**'
 
 permissions:
   contents: read