Skip to content
.github/workflows/formal-verify.yml

Enhance README with ASCII art header #44

Sign in to view logs

Enhance README with ASCII art header

Enhance README with ASCII art header #44

Triggered via push May 26, 2026 05:58
@frawarefraware
pushed 44c92b6
main
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/formal-verify.yml#L6
error parsing called workflow ".github/workflows/formal-verify.yml" -> "sentinelops/remote-ci/.github/workflows/remote.yml@v1" : workflow was not found. See https://docs.github.com/actions/learn-github-actions/reusing-workflows#access-to-reusable-workflows for more information.