Bump rojopolis/spellcheck-github-actions from 0.42.0 to 0.45.0#39

wadoon merged 1 commit intomasterKeYProject/key-docs:masterfrom

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