[ci] Add quick_lint job to GitHub Actions CI workflow
#4576
Triggered via pull request
September 18, 2024 11:19
jwnrt
Status
Success
Total duration
1m 10s
Artifacts
–