.github/workflows/test-bitwuzla.yml

Remove .gitmodules #366

Sign in to view logs

Triggered via push October 23, 2024 22:20

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