Skip to content

Certora's formal verification effort for Manifest #765

Certora's formal verification effort for Manifest

Certora's formal verification effort for Manifest #765

Triggered via pull request November 20, 2024 18:35
Status Failure
Total duration 7m 44s
Artifacts

ci-code-review-ts.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

1 error
Test
Process completed with exit code 66.