Skip to content

Remove margin and font sizes from summary children #86

Remove margin and font sizes from summary children

Remove margin and font sizes from summary children #86

Triggered via push August 12, 2025 00:19
Status Success
Total duration 1m 5s
Artifacts 1

publish.yml

on: push
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
github-pages Expired
2.06 MB
sha256:e8264a2ff57b63bfaffa949382acf6da5f17e6f90591aa7752a83031077022de