.github/workflows/test-bitwuzla.yml

Remove .git #371

Sign in to view logs

Triggered via push October 24, 2024 06:16

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