certora-stata

test: dynamic oracle bounds & param registry (#36) #119

Triggered via push October 30, 2025 17:45

yan-man

main

Status Success

Total duration 3m 59s

Artifacts 1

certora-stata.yml

on: push

Produced during runtime

Name	Size	Digest
certora-run-logs-6c08fb44-9ffe-4f9f-8b7f-05b1a8f6e72a-18950016053 Expired	29.6 KB	`sha256:a4c0cc033907b4330480d9c2dbfafdc7e232a7ca6363474d3463210dfd5c2520`