certora-basic

Phase One Risk Param Updates #61

Triggered via pull request August 21, 2025 13:54

yan-man

synchronize #25

feat/config-updates

Status Success

Total duration 3m 36s

Artifacts 1

certora-basic.yml

on: pull_request

Produced during runtime

Name	Size	Digest
certora-run-logs-9ea79ae1-7dcb-4493-a1ed-a45c90bb0232-17129040132 Expired	26.9 KB	`sha256:fa6387d26d9becf2e8bf330771d957a1b8b592fd56fffa8e4281291c1e875e79`