👁️ Halmos symbolic tests

♻️ temporary debugging #1

Sign in to view logs

Triggered via push May 21, 2024 14:44

feat/halmos

Status Failure

Total duration 34m 42s

Artifacts –

halmos.yml

on: push

Matrix: halmos-tests

Annotations

1 error

halmos-tests (ubuntu-latest, 3.12, x64, --function testHalmos --storage-layout generic --solver-p...

Process completed with exit code 1.