⚗️ Venom-based Halmos symbolic tests

Merge branch 'main' into ci/add-venom-tests #7

Sign in to view logs

Re-run triggered September 28, 2024 16:38

ci/add-venom-tests

Status Failure

Total duration 2m 17s

Artifacts –

halmos-venom.yml

on: push

Matrix: halmos

Annotations

1 error

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

Process completed with exit code 1.