Skip to content
pr-lint

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

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 #22

Triggered via pull request December 22, 2023 16:18
@nbdd0121nbdd0121
synchronize #2113
nbdd0121:master
Status Success
Total duration 55s
Artifacts 1

pr_lint.yml

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

Artifacts

Produced during runtime
Name Size
verible-linter Expired
11.5 KB