formal verification

patch install #10

Sign in to view logs

Summary
Jobs
- formal
Run details
- Usage
- Workflow file

Triggered via push October 5, 2023 17:14

0o-de-lally

patch-formal

Status Failure

Total duration 16m 3s

Artifacts –

formal.yaml

on: push

Annotations

3 errors and 12 notices

Got signal

The action has timed out.

Process completed with exit code 127.

SSH: ssh [email protected]

or: ssh -i <path-to-private-SSH-key> [email protected]

SSH: ssh [email protected]

or: ssh -i <path-to-private-SSH-key> [email protected]

SSH: ssh [email protected]

or: ssh -i <path-to-private-SSH-key> [email protected]

SSH: ssh [email protected]

or: ssh -i <path-to-private-SSH-key> [email protected]

SSH: ssh [email protected]

or: ssh -i <path-to-private-SSH-key> [email protected]

SSH: ssh [email protected]

or: ssh -i <path-to-private-SSH-key> [email protected]