Skip to content
.github/workflows/cabal.yml

add cvc5 to stack/cabal github actions #538

Sign in to view logs

add cvc5 to stack/cabal github actions

add cvc5 to stack/cabal github actions #538

Triggered via push December 18, 2024 23:44
@ranjitjhalaranjitjhala
pushed 46a8b24
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
Error
every step must define a `uses` or `run` key