.github/workflows/cabal.yml

use bv2nat for all solvers #540

Sign in to view logs

Triggered via push December 20, 2024 18:34

ranjitjhala

issue-728

Status Failure

Total duration –

Artifacts –

This workflow graph cannot be shown

A graph will be generated the next time this workflow is run.

Annotations

1 error

every step must define a `uses` or `run` key