Skip to content
pr-lint

[ci] Run CI in merge queue and not master #7

Sign in to view logs

[ci] Run CI in merge queue and not master

[ci] Run CI in merge queue and not master #7

Run time

Learn about OS pricing on GitHub Actions
Job Run time
verible-lint
45s
45s