CI: skip build/test jobs if only Docs/ is modified (#5387)

Could we do this to make sure that we run the GitHub Actions and Azure
jobs (build, test) only if _at least one file outside the_ `Docs`
_directory_ is modified, i.e., skip those jobs if only files in the
`Docs` directory are modified?

I think it would be safe to do so (and a bit of a waste of resources to
not do so...), but I leave it open for discussion.

If merged, we could test this rebasing #5386 and seeing if the correct
CI jobs are skipped.

Note that this PR leaves the other CI jobs untouched, e.g., `source`,
`docs`, `CodeQL`, etc.

.azure-pipelines.yml

@@ -9,6 +9,9 @@ pr:
  branches:
  include:
  - development
+ paths:
+ exclude:
+ - Docs
 
 jobs:
 - job:

.github/workflows/clang_sanitizers.yml

@@ -5,6 +5,8 @@ on:
  branches:
  - "development"
  pull_request:
+ paths-ignore:
+ - "Docs/**"
 
 concurrency:
  group: ${{ github.ref }}-${{ github.head_ref }}-clangsanitizers

.github/workflows/clang_tidy.yml

@@ -5,6 +5,8 @@ on:
  branches:
  - "development"
  pull_request:
+ paths-ignore:
+ - "Docs/**"
 
 concurrency:
  group: ${{ github.ref }}-${{ github.head_ref }}-clangtidy

.github/workflows/cuda.yml

@@ -5,6 +5,8 @@ on:
  branches:
  - "development"
  pull_request:
+ paths-ignore:
+ - "Docs/**"
 
 concurrency:
  group: ${{ github.ref }}-${{ github.head_ref }}-cuda

.github/workflows/hip.yml

@@ -5,6 +5,8 @@ on:
  branches:
  - "development"
  pull_request:
+ paths-ignore:
+ - "Docs/**"
 
 concurrency:
  group: ${{ github.ref }}-${{ github.head_ref }}-hip

.github/workflows/insitu.yml

@@ -5,6 +5,8 @@ on:
  branches:
  - "development"
  pull_request:
+ paths-ignore:
+ - "Docs/**"
 
 concurrency:
  group: ${{ github.ref }}-${{ github.head_ref }}-insituvis

.github/workflows/intel.yml

@@ -5,6 +5,8 @@ on:
  branches:
  - "development"
  pull_request:
+ paths-ignore:
+ - "Docs/**"
 
 concurrency:
  group: ${{ github.ref }}-${{ github.head_ref }}-intel

.github/workflows/macos.yml

@@ -5,6 +5,8 @@ on:
  branches:
  - "development"
  pull_request:
+ paths-ignore:
+ - "Docs/**"
 
 concurrency:
  group: ${{ github.ref }}-${{ github.head_ref }}-macos

.github/workflows/ubuntu.yml

@@ -5,6 +5,8 @@ on:
  branches:
  - "development"
  pull_request:
+ paths-ignore:
+ - "Docs/**"
 
 concurrency:
  group: ${{ github.ref }}-${{ github.head_ref }}-ubuntu

.github/workflows/windows.yml

@@ -5,6 +5,8 @@ on:
  branches:
  - "development"
  pull_request:
+ paths-ignore:
+ - "Docs/**"
 
 concurrency:
  group: ${{ github.ref }}-${{ github.head_ref }}-windows