pr-lint

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

Triggered via pull request February 19, 2025 13:44

nbdd0121

synchronize #2257

nbdd0121:ci

Status Success

Total duration 1m 3s

Artifacts 1

pr_lint.yml

on: pull_request

Produced during runtime

Name	Size
verible-linter	2.45 KB