certora-basic

Phase One Risk Param Updates #56

Triggered via pull request August 20, 2025 02:59

yan-man

synchronize #25

feat/config-updates

Status Success

Total duration 3m 28s

Artifacts 1

certora-basic.yml

on: pull_request

Produced during runtime

Name	Size	Digest
certora-run-logs-c619d7b5-c774-434f-9417-e78a81f9e187-17087283691 Expired	26.9 KB	`sha256:0668e1dbf00d6f8574af967e2dd2f850d48bb4e7ff16e6017016d14e56d87968`