pr-lint

[ci] introduce GitHub actions based private CI #17

Triggered via pull request December 22, 2023 13:16

nbdd0121

opened #2118

nbdd0121:ci

Status Success

Total duration 1m 2s

Artifacts 1

pr_lint.yml

on: pull_request

Produced during runtime

Name	Size
verible-linter Expired	11.5 KB