formal verification

[testsuite] upgrade compatibility smoke test & dynamic upgrade payloads #458

Sign in to view logs

Summary
Jobs
- formal
Run details
- Usage
- Workflow file

Triggered via pull request February 29, 2024 16:14

0o-de-lally

opened #195

0o-de-lally:mainnet-compat-tests

Status Cancelled

Total duration 43s

Artifacts –

formal.yaml

on: pull_request

Annotations

1 error

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