pr-lint

[ci] Run CI in merge queue and not master #7

Triggered via pull request December 15, 2023 11:48

jwnrt

opened #2112

Status Success

Total duration 53s

Artifacts 1

pr_lint.yml

on: pull_request

Produced during runtime

Name	Size
verible-linter Expired	11.5 KB