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

wadoon merged 1 commit intomasterKeYProject/key-docs:masterfrom

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