Skip to content

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

[ci] Move in-depth lint to GitHub Actions

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

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

private-ci.yml

on: pull_request_target
Trigger Private CI
2s
Trigger Private CI
Fit to window
Zoom out
Zoom in