certora-basic

Phase One Risk Param Updates #55

Triggered via pull request August 20, 2025 02:54

yan-man

opened #25

feat/config-updates

Status Success

Total duration 3m 40s

Artifacts 1

certora-basic.yml

on: pull_request

Produced during runtime

Name	Size	Digest
certora-run-logs-0c6d922e-2b66-415a-a7ed-a584c7e465be-17087225877 Expired	26.9 KB	`sha256:3e1a18ae28f9bfc6220fad98105fc967a578400eee0ca1e0a73ca71067f8b6f6`