no CI when changing the paper

Author: ranocha

.github/workflows/CI.yml

@@ -4,6 +4,8 @@ on:
   pull_request:
     branches:
       - main
+    paths-ignore:
+      - 'paper/**'
   push:
     branches:
       - main

.github/workflows/Documenter.yml

@@ -22,6 +22,7 @@ on:
       - '.github/workflows/TagBot.yml'
       - 'benchmark/**'
       - 'utils/**'
+      - 'paper/**'
   workflow_dispatch:
 
 # Cancel redundant CI tests automatically

.github/workflows/Downgrade.yml

@@ -2,6 +2,10 @@ name: Downgrade
 
 on:
   pull_request:
+    branches:
+      - main
+    paths-ignore:
+      - 'paper/**'
   workflow_dispatch:
 
 # Cancel redundant CI tests automatically

.github/workflows/FormatCheck.yml

@@ -4,6 +4,8 @@ on:
   push:
     branches:
       - 'main'
+    paths-ignore:
+      - 'paper/**'
     tags: '*'
   pull_request: