Skip to content

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

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

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

Triggered via pull request October 24, 2025 15:24
Status Success
Total duration 2m 19s
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:9563397d9680259fb4ceeb1a5e2ff2a5ce4b9c9e8d5e067caac4aa7a85052fad