ThreadSafety page: per-proof run marker, seam citation, style pass · KeYProject/key-docs@0a649de

Triggered via push July 12, 2026 10:59

unp1

master

Status Success

Total duration 44s

Artifacts 1

mkdocs.yml

on: push

Produced during runtime

Name	Size	Digest
github-pages Expired	27.7 MB	`sha256:80bb4287c5d69f87a3a54135274f7e532fa510c86c5c913bd45ab20386b58a20`