Skip to content

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

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

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

Triggered via pull request October 27, 2025 18:25
Status Success
Total duration 1m 54s
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:c0d7c506749dbe85fdc48b2540e6dcfc8d4c088e57bde1736f40d232cdb1bb44