test: update halmos tests for new version #70

Sign in to view logs

Summary
Jobs
- verify
Run details
- Usage
- Workflow file

Re-run triggered September 27, 2024 07:42

QGarchery

#692

daejunpark:halmos/update-v2

Status Success

Total duration 10m 30s

Artifacts –

halmos.yml

on: pull_request