Check PR title

[Improvement](shuffle) Use a knob to decide whether a serial exchange… #51068

Sign in to view logs

Triggered via pull request November 28, 2024 08:19

Gabriel39

edited #44676

Gabriel39:opt_1127

Status Success

Total duration 48s

Artifacts –

title-checker.yml

on: pull_request

PR title checker