Merge pull request #27 from FliegendeWurst/misc2 · KeYProject/key-docs@c1a78dc

Triggered via push October 31, 2024 08:57

wadoon

master

Status Failure

Total duration 1m 26s

Artifacts 1

mkdocs.yml

on: push

1 error

Files in repository contain spelling errors

Produced during runtime

Name	Size
github-pages Expired	30.7 MB