Merge pull request #40 from KeYProject/dependabot/github_actions/rojopolis/spellcheck-github-actions-0.46.0

Bump rojopolis/spellcheck-github-actions from 0.45.0 to 0.46.0

Author: wadoon

.github/workflows/mkdocs.yml

@@ -63,7 +63,7 @@ jobs:
     runs-on: ubuntu-latest
     steps:
     - uses: actions/checkout@master    
-    - uses: rojopolis/spellcheck-github-actions@0.45.0
+    - uses: rojopolis/spellcheck-github-actions@0.46.0
       name: Spellcheck
       with:
         task_name: Markdown