Skip to content

New core dev instructions: Use a script instead of hand-editing. #2523

New core dev instructions: Use a script instead of hand-editing.

New core dev instructions: Use a script instead of hand-editing. #2523

Triggered via pull request June 17, 2025 06:02
Status Success
Total duration 41s
Artifacts

ci.yml

on: pull_request
Check build, markup, and links
38s
Check build, markup, and links
Fit to window
Zoom out
Zoom in

Annotations

1 error
Check build, markup, and links
Process completed with exit code 2.