Infra: Use an option instead of argument in banner directives #6367

Sign in to view logs

Triggered via pull request May 6, 2024 09:22

pradyunsg

synchronize #3765

pradyunsg:tweak-link-content-handling

Status Success

Total duration 51s

Artifacts –

lint.yml

on: pull_request