Bump rojopolis/spellcheck-github-actions from 0.41.0 to 0.42.0 · KeYProject/key-docs@22d7d8b

Triggered via pull request September 23, 2024 16:27

opened #35

Status Failure

Total duration 1m 9s

Artifacts 1

mkdocs.yml

on: pull_request

1 error

Files in repository contain spelling errors

Produced during runtime

Name	Size
github-pages Expired	30.5 MB