Documentation

.github: workflows: add job names #97

Triggered via push October 16, 2025 14:54

kartben

main

Status Success

Total duration 35s

Artifacts 1

docs.yml

on: push

Produced during runtime

Name	Size	Digest
github-pages Expired	126 KB	`sha256:dd953b6c8d4d8610fb938359a205a7d9fe5f8bb0c52385c3950c1e6622d2878b`