Lint PR

chore: indicate that `--dns-discovery-url` can be repeated #42

Sign in to view logs

Triggered via pull request November 10, 2023 05:15

synchronize #891

chore/dns-disc-repeat

Status Success

Total duration 15s

Artifacts –

lint_pr.yml

on: pull_request

Validate PR title