Close or Merge corresponding PR on the data repo

chore: fix clippy lints after toolchain update #440

Sign in to view logs

Triggered via pull request December 16, 2024 13:17

mayeul-zama

closed #1874

mz/fix_warnings

Status Skipped

Total duration 3s

Artifacts –

data_pr_close.yml

on: pull_request