pr-lint

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

Triggered via pull request February 19, 2025 15:51

nbdd0121

synchronize #2257

nbdd0121:ci

Status Success

Total duration 1m 11s

Artifacts 1

pr_lint.yml

on: pull_request

Produced during runtime

Name	Size
verible-linter	2.48 KB