.github/workflows/cherry-pick.yml

Emerald prover #368

Sign in to view logs

Triggered via pull request December 16, 2025 02:59

chengwenxi

closed #822

emerald-prover

Status Skipped

Total duration –

Artifacts –

cherry-pick.yml

on: pull_request

Cherry pick into release/0.1.x

Cherry pick into release/0.2.x