certora-basic

feat: increment a/RwaAToken revision (#34) #97

Triggered via push September 23, 2025 02:01

yan-man

main

Status Success

Total duration 3m 23s

Artifacts 1

certora-basic.yml

on: push

Produced during runtime

Name	Size	Digest
certora-run-logs-60cd23d0-9a3e-46d4-ba8d-e758bdfba5d5-17933633156 Expired	29.5 KB	`sha256:55c39d69c30f0fb1acfbd8405806309798f8da145385e7b562228024ab752911`