Adjusts benchbin's args to have the same names as prover's args #2285
Triggered via pull request
October 7, 2024 15:29
diegoximenes
diegoximenes
opened
#2724
Status
Success
Total duration
11s
Artifacts
–
merge-checks.yml
on: pull_request_target
Check if Design Approved
2s