diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
index 53b225f7a..9ca45c89f 100644
--- a/.github/workflows/CI.yml
+++ b/.github/workflows/CI.yml
@@ -3,13 +3,9 @@ on:
   pull_request:
     branches:
       - master
-    paths-ignore:
-      - 'docs/**'
   push:
     branches:
       - master
-    paths-ignore:
-      - 'docs/**'
 concurrency:
   # Skip intermediate builds: always.
   # Cancel intermediate builds: only if it is a pull request build.
diff --git a/docs/pages.jl b/docs/pages.jl
index 8552f3d19..538d0b098 100644
--- a/docs/pages.jl
+++ b/docs/pages.jl
@@ -7,7 +7,7 @@ pages = ["index.md",
         "tutorials/modelingtoolkit.md",
         "tutorials/small_compile.md",
         "tutorials/iterator_interface.md",
-        "tutorials/optimizing_parameterized_ode.md",],
+        "tutorials/optimizing_parameterized_ode.md"],
     "Basics" => Any["basics/NonlinearProblem.md",
         "basics/NonlinearFunctions.md",
         "basics/solve.md",