Skip to content

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

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

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

Triggered via pull request October 27, 2025 18:18
Status Success
Total duration 2m 2s
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:83b987cdc2883d89b486e1b95a7fd47bcd55ab8af9765f6807de231b810bde1b