Close or Merge corresponding PR on the data repo

fix(zk): fix build with feature zk-pok without shortint #333

Sign in to view logs

Triggered via pull request November 7, 2024 15:06

closed #1761

ns/fix_build_zk_no_shortint

Status Skipped

Total duration 3s

Artifacts –

data_pr_close.yml

on: pull_request