formal verification

[tools] extended query cli lib #437

Sign in to view logs

Summary
Jobs
- formal
Run details
- Usage
- Workflow file

Re-run triggered February 28, 2024 16:10

0o-de-lally

#176

davidrotari19:main

Status Cancelled

Total duration 50m 39s

Artifacts –

formal.yaml

on: pull_request

Annotations

1 error

The run was canceled by @0o-de-lally.