⚗️ Venom-based Halmos symbolic tests

👷‍♂️ Add `venom`-Based CI Tests #1

Sign in to view logs

Triggered via push August 14, 2024 18:43

ci/add-venom-tests

Status Failure

Total duration 1m 37s

Artifacts –

venom-halmos.yml

on: push

Matrix: halmos

Annotations

1 error

halmos (ubuntu-latest, 3.12, x64, --config test/halmos.toml)

Process completed with exit code 1.