Skip to content

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

[ci] Move in-depth lint to GitHub Actions

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

Triggered via pull request September 30, 2024 15:07
@jwnrtjwnrt
opened #24696
Status Success
Total duration 27s
Artifacts

pr_change_check.yml

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