Bump rojopolis/spellcheck-github-actions from 0.46.0 to 0.47.0#42

dependabot[bot] wants to merge 1 commit intomasterKeYProject/key-docs:masterfrom

dependabot/github_actions/rojopolis/spellcheck-github-actions-0.47.0KeYProject/key-docs:dependabot/github_actions/rojopolis/spellcheck-github-actions-0.47.0Copy head branch name to clipboard