certora-stata

test: dynamic oracle bounds & param registry #109

Triggered via pull request October 1, 2025 13:40

yan-man

synchronize #36

test/dynamic-bounds

Status Success

Total duration 4m 1s

Artifacts 1

certora-stata.yml

on: pull_request

Produced during runtime

Name	Size	Digest
certora-run-logs-1ad2d396-4c54-47b7-b6d3-efd7d36df5a5-18164126564 Expired	29.6 KB	`sha256:1c2e6052a974fb30213c9e8290c9786b023822301bd2d49cff2dcc3b54628058`