formal verification

test formal ci #11

Sign in to view logs

Triggered via push October 5, 2023 17:23

0o-de-lally

patch-formal

Status Startup failure

Total duration –

Artifacts –

formal.yaml

on: push

Annotations

1 error

Invalid workflow file: .github/workflows/formal.yaml#L16

The workflow is not valid. .github/workflows/formal.yaml (Line: 16, Col: 5): Unexpected value ''