fixes for doc

0815Creeper · Sep 17, 2024 · 1533d0a · 1533d0a
1 parent fd07f68
commit 1533d0a
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/.github/workflows/Formatter.yml b/.github/workflows/Formatter.yml
@@ -3,6 +3,8 @@ on:
   pull_request:
     # this argument is not required if you don't use the `suggestion-label` input
     types: [ opened, reopened, synchronize, labeled, unlabeled ]
+  workflow_dispatch:
+
 jobs:
   code-style:
     runs-on: ubuntu-latest

diff --git a/docs/make.jl b/docs/make.jl
@@ -14,7 +14,7 @@ makedocs(
         collapselevel = 1,
         sidebar_sitename = false,
         edit_link = nothing,
-        size_threshold_ignore = [joinpath("examples", "juliacon_2023.md")],
+        size_threshold_ignore = [joinpath("examples", "juliacon_2023.md", "modelica_conference_2021.md", "simple_hybrid_CS.md","simple_hybrid_ME.md")],
     ),
     warnonly = true,
     pages = Any[