Merge pull request #3318 from JuliaReach/schillic/ci

Update CI scripts
JuliaReach · Apr 30, 2023 · 93577b3 · 93577b3
2 parents b955043 + 6ed70e4
commit 93577b3
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 0 deletions.
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -9,6 +9,9 @@ on:
       - master
     tags: '*'
   pull_request:
+    paths-ignore:
+      - 'LICENSE'
+      - 'README.md'
 
 jobs:
   build:

diff --git a/.github/workflows/invalidations.yml b/.github/workflows/invalidations.yml
@@ -3,6 +3,9 @@ name: Invalidations
 
 on:
   pull_request:
+    paths-ignore:
+      - 'LICENSE'
+      - 'README.md'
 
 concurrency:
   # Skip intermediate builds: always.