Skip to content
pr-lint

[ci] port Azure Pipelines to GitHub Actions for earlgrey_es_sival #5145

Sign in to view logs

[ci] port Azure Pipelines to GitHub Actions for earlgrey_es_sival

[ci] port Azure Pipelines to GitHub Actions for earlgrey_es_sival #5145

Triggered via pull request November 25, 2024 22:45
@nbdd0121nbdd0121
synchronize #25380
nbdd0121:github_ci
Status Success
Total duration 57s
Artifacts –

pr_lint.yml

on: pull_request
verible-lint
49s
verible-lint
Fit to window
Zoom out
Zoom in