Preps for #3597. · KeYProject/key-docs@efb0db5

Triggered via push November 23, 2025 20:09

wadoon

master

Status Success

Total duration 42s

Artifacts 1

mkdocs.yml

on: push

Produced during runtime

Name	Size	Digest
github-pages Expired	30.8 MB	`sha256:cb4953982064405991b5cfe9fe74e5bb664fa6b57d6b850c11e9f3845db6e396`