certora-basic

Phase One Risk Param Updates #66

Triggered via pull request August 21, 2025 23:30

yan-man

synchronize #25

feat/config-updates

Status Success

Total duration 3m 15s

Artifacts 1

certora-basic.yml

on: pull_request

Produced during runtime

Name	Size	Digest
certora-run-logs-d45ac2b2-6edb-42a7-ae86-05df29c132ab-17141671806 Expired	26.9 KB	`sha256:34056ba29d698ae2bc434d34bf532f1a06da93c4f29c5608588a367fb887e826`