Update labels in TOC #12

Triggered via push October 23, 2025 10:59

mkroetzsch

main

Status Success

Total duration 1m 4s

Artifacts 1

deploy.yml

on: push

Produced during runtime

Name	Size	Digest
github-pages Expired	1.3 MB	`sha256:78fa1b88f7bd4bf064b8f44936839dc5b134f5de2d5e19b4b897548e860a0fe4`