.github/workflows/test-bitwuzla.yml

Try to disable submodules #370

Sign in to view logs

Triggered via push October 23, 2024 23:18

filipeom

debug-space

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

Invalid workflow file: .github/workflows/test-bitwuzla.yml#L1

`workflow-dispatch` is not a valid event name