Skip to content
CI

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

Sign in to view logs

[ci] Move in-depth lint to GitHub Actions

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

Verible lint

Verible lint
succeeded Sep 30, 2024 in 1m 3s