certora-basic

Phase One Risk Param Updates #67

Triggered via pull request August 21, 2025 23:59

yan-man

synchronize #25

feat/config-updates

Status Success

Total duration 3m 37s

Artifacts 1

certora-basic.yml

on: pull_request

Produced during runtime

Name	Size	Digest
certora-run-logs-a33d13d7-2cad-45d1-a0bc-5767142548f8-17142094022 Expired	26.9 KB	`sha256:e7fbe91bc4bed40b8c6fae14789002992930ca3bd6fa1cf6b6cda844d1f505be`