Skip to content
pr-lint

[ci] switch CI runner from Ubuntu 20.04 to 22.04 #301

Sign in to view logs

[ci] switch CI runner from Ubuntu 20.04 to 22.04

[ci] switch CI runner from Ubuntu 20.04 to 22.04 #301

Triggered via pull request February 19, 2025 15:51
@nbdd0121nbdd0121
synchronize #2257
nbdd0121:ci
Status Success
Total duration 1m 11s
Artifacts 1

pr_lint.yml

on: pull_request
verible-lint
59s

Artifacts

Produced during runtime
Name Size Digest
verible-linter
2.48 KB
sha256:71823f12280a51a7d2319aaca85985fc03e34fbbe1c53671767e121c20d30ccf