Close or Merge corresponding PR on the data repo

chore: remove trivium from main workspace #781

Sign in to view logs

Triggered via pull request March 17, 2025 13:22

mayeul-zama

closed #2178

mz/trivium_out_workspace

Status Skipped

Total duration 3s

Artifacts –

data_pr_close.yml

on: pull_request