PR number update

in Bin_conf, discard all output from cmdliner #2312

Sign in to view logs

Triggered via pull request October 30, 2025 17:19

v-gb

synchronize #2736

Status Success

Total duration 10s

Artifacts –

pr-number.yml

on: pull_request_target

Update PR number