Bump rojopolis/spellcheck-github-actions from 0.38.0 to 0.40.0 · KeYProject/key-docs@00fe8c2

Triggered via pull request July 22, 2024 16:19

opened #33

Status Failure

Total duration 1m 6s

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