certora-basic

test: phaseOne update post-payload deployment #72

Triggered via pull request August 26, 2025 18:40

yan-man

synchronize #27

test/phase-one-update

Status Success

Total duration 3m 38s

Artifacts 1

certora-basic.yml

on: pull_request

Produced during runtime

Name	Size	Digest
certora-run-logs-2d7041b7-7257-48c5-9641-41d132fa84b0-17247350624 Expired	26.9 KB	`sha256:57dfb221b88a775c2f1d4ad8400a21790e77876d460ccf0627056e803f4b0872`