Skip to content

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

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

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

Triggered via pull request July 5, 2025 22:36
Status Success
Total duration 43s
Artifacts

ci.yml

on: pull_request
Check build, markup, and links
40s
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.