Skip to content
push

Fix list-of-figures / list-of-tables numbering in HTML. (#263) #70

Sign in to view logs

Fix list-of-figures / list-of-tables numbering in HTML. (#263)

Fix list-of-figures / list-of-tables numbering in HTML. (#263) #70

Triggered via push July 14, 2025 23:04
@chrisfennerchrisfenner
pushed 156e37b
main
Status Success
Total duration 2m 55s
Artifacts 3

push.yml

on: push
build-container
1m 25s
build-container
render-samples  /  Render
1m 18s
render-samples / Render
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
TrustedComputingGroup~pandoc~WU9F1J.dockerbuild Expired
116 KB
sha256:78bedb51c0a40de90fa3b00fb649d07aa08d757fbc61dce2f2ded1f4771524d2
guide.log Expired
61 KB
sha256:ab601db111b82ce6d7465052b758520638fc7faa67b55ec974c5c6c998d87d0e
guide.pdf Expired
554 KB
sha256:752366bc69ed9b75bb3a830f2ca62c68fb9ad1d4c39716715d0ffd9ee41a2b54