Skip to content

Move punctuation index to an appendix, and expand for other syntaxes #3540

Move punctuation index to an appendix, and expand for other syntaxes

Move punctuation index to an appendix, and expand for other syntaxes #3540

Triggered via pull request October 27, 2025 17:24
Status Success
Total duration 2m 7s
Artifacts 1

main.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
preview-2061
3.24 MB
sha256:96c985cf3836dacd32cb01c4b9a62d0aaeac334c7e99b28b54830c694d2a5379