certora-basic

Phase One Risk Param Updates #57

Triggered via pull request August 21, 2025 03:11

yan-man

synchronize #25

feat/config-updates

Status Success

Total duration 3m 5s

Artifacts 1

certora-basic.yml

on: pull_request

Produced during runtime

Name	Size	Digest
certora-run-logs-5e2cea04-1580-44c7-b955-f35778f8877d-17116017705 Expired	26.9 KB	`sha256:3e2f7bb943a10464c040d442bef1196410395edf0dbd1f41666cde45d75da673`