Bump rojopolis/spellcheck-github-actions from 0.46.0 to 0.48.0#45

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

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