Skip to content

[ci] Move in-depth lint to GitHub Actions #14992

[ci] Move in-depth lint to GitHub Actions

[ci] Move in-depth lint to GitHub Actions #14992

Triggered via pull request September 30, 2024 15:23
@jwnrtjwnrt
synchronize #24696
Status Success
Total duration 19s
Artifacts

pr_change_check.yml

on: pull_request_target
check-changes
9s
check-changes
Fit to window
Zoom out
Zoom in