Merge pull request #34 from KeYProject/dependabot/github_actions/rojo…

…polis/spellcheck-github-actions-0.41.0 Bump rojopolis/spellcheck-github-actions from 0.38.0 to 0.41.0
KeYProject · Aug 22, 2024 · 7cf2aa7 · 7cf2aa7
2 parents 42f21a6 + f52a7b3
commit 7cf2aa7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/mkdocs.yml b/.github/workflows/mkdocs.yml
@@ -63,7 +63,7 @@ jobs:
     runs-on: ubuntu-latest
     steps:
     - uses: actions/checkout@master    
-    - uses: rojopolis/spellcheck-github-actions@0.38.0
+    - uses: rojopolis/spellcheck-github-actions@0.41.0
       name: Spellcheck
       with:
         task_name: Markdown