Skip to content
Lint

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

Sign in to view logs

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

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

Triggered via pull request July 5, 2025 22:36
@hugovkhugovk
synchronize #1580
encukou:log-update
Status Success
Total duration 17s
Artifacts –

lint.yml

on: pull_request
lint
15s
lint
Fit to window
Zoom out
Zoom in