Skip to content
Run pre-commit and in-place update PR on push

doc: attach "pre", "pseudo", "semi" and "sub" as a prefixes where they are now free-standing #7046

Sign in to view logs

doc: attach "pre", "pseudo", "semi" and "sub" as a prefixes where they are now free-standing

doc: attach "pre", "pseudo", "semi" and "sub" as a prefixes where they are now free-standing #7046

Triggered via pull request October 20, 2025 20:14
@harahuharahu
synchronize #29257
harahu:doc/pre
Status Success
Total duration 33s
Artifacts –

pre-commit.yml

on: pull_request
main
26s
main
Fit to window
Zoom out
Zoom in