certora-stata

test: dynamic oracle bounds & param registry #108

Triggered via pull request October 1, 2025 13:22

yan-man

synchronize #36

test/dynamic-bounds

Status Success

Total duration 4m 10s

Artifacts 1

certora-stata.yml

on: pull_request

Produced during runtime

Name	Size	Digest
certora-run-logs-17fb03ed-b110-46f6-9a08-ef6d361735b9-18163601287 Expired	29.6 KB	`sha256:d4882151c4271fd7d7f496805e54328454c1fb19af62eb34ca5a90a3d6daf7fb`