Lint

Turn command id into global #377

Sign in to view logs

Summary
Jobs
- Run linters
Run details
- Usage
- Workflow file

Triggered via pull request December 4, 2023 12:12

Jan200101

synchronize #542

Jan200101:PR/global_cmd_id

Status Success

Total duration 20s

Artifacts –

lint.yml

on: pull_request