[ci] Move in-depth lint to GitHub Actions #282
Triggered via pull request
September 30, 2024 15:23
jwnrt
Status
Failure
Total duration
15m 6s
Artifacts
–
ci.yml
on: pull_request
Lint (quick)
2m 59s
Lint (slow)
11m 36s
Airgapped build
7m 25s
Verible lint
1m 3s
Annotations
1 error
|
Lint (slow)
Process completed with exit code 1.
|