formal verification

[move] essential formal verification tests on transfers #4

Sign in to view logs

Triggered via pull request November 9, 2023 18:29

0o-de-lally

synchronize #94

0o-de-lally:prover-tests

Status Startup failure

Total duration –

Artifacts –

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

formal.yaml

on: pull_request

Annotations

1 error

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

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