Halmos

test: update halmos tests for new version #74

Sign in to view logs

Summary
Jobs
- verify
Run details
- Usage
- Workflow file

Re-run triggered September 27, 2024 20:45

QGarchery

#692

daejunpark:halmos/update-v2

Status Success

Total duration 10m 13s

Artifacts –

halmos.yml

on: pull_request