certora-basic

test: phaseOne update post-payload deployment #78

Triggered via pull request September 2, 2025 20:11

yan-man

synchronize #27

test/phase-one-update

Status Success

Total duration 3m 20s

Artifacts 1

certora-basic.yml

on: pull_request

Produced during runtime

Name	Size	Digest
certora-run-logs-f9647c29-c751-4680-bc7f-a8ef16e2624f-17414802233 Expired	26.9 KB	`sha256:dd6d20410756025b1c8469896e9c25f56cd786b1dbe78a51fd9efef760d9ab76`