PR label manager

chore: fix new clippy lints #9207

Sign in to view logs

Triggered via pull request February 6, 2025 12:31

mayeul-zama

synchronize #2032

mz/fix_lints

Status Success

Total duration 13s

Artifacts –

approve_label.yml

on: pull_request