Certora adaptation to stata #121

Sign in to view logs

Re-run triggered September 11, 2024 06:36

Certora:certora

Status Failure

Total duration 2m 58s

Artifacts 2

test.yml

on: pull_request

Foundry build n test

Annotations

1 error

lint

Process completed with exit code 1.

Artifacts

Produced during runtime

Name	Size
7cd25c0d56e9829ea060f0895c700c355d19e459	13 KB
pr_number	145 Bytes