Skip to content
Documentation

Add a header to each console log (#52) #25

Sign in to view logs

Add a header to each console log (#52)

Add a header to each console log (#52) #25

Triggered via push October 26, 2025 12:43
@github-merge-queuegithub-merge-queue[bot]
pushed 01367a0
main
Status Success
Total duration 39s
Artifacts 1

doc.yml

on: push
build-doc
28s
build-doc
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
github-pages Expired
350 KB
sha256:15c1c92672cc806a47577fffa57a11d191f747e6f02de6b069c3ca414285e061