Skip to content
certora-stata

Certora Review #43

Sign in to view logs

Certora Review

Certora Review #43

Triggered via pull request November 18, 2024 23:26
@MichaelMoramiMichaelMorami
synchronize #7
certora
Status Success
Total duration 18m 7s
Artifacts –

certora-stata.yml

on: pull_request
Matrix: verify
Fit to window
Zoom out
Zoom in