certora-basic

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

Triggered via push October 30, 2025 17:45

yan-man

main

Status Success

Total duration 3m 17s

Artifacts 1

certora-basic.yml

on: push

Produced during runtime

Name	Size	Digest
certora-run-logs-7b482374-9fd3-41d9-82a4-574a14fc6b45-18950016051 Expired	29.5 KB	`sha256:9f9032f9c61496c5aa588776fcc764fc966861a76768d353600b970c2ae9de5f`