pr-lint

[util] Update check_tool_requirements.py #24

Triggered via pull request December 22, 2023 16:20

nbdd0121

opened #2119

nbdd0121:util

Status Success

Total duration 54s

Artifacts 1

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

pr_lint.yml

on: pull_request

Produced during runtime

Name	Size
verible-linter Expired	11.5 KB