certora-basic

feat: increment a/RwaAToken revision #81

Triggered via pull request September 8, 2025 19:04

opened #34

upd/upgrade-a-token

Status Success

Total duration 3m 11s

Artifacts 1

certora-basic.yml

on: pull_request

Produced during runtime

Name	Size	Digest
certora-run-logs-8eb333fc-5309-40d5-bb60-69a30bea8427-17561231931 Expired	26.9 KB	`sha256:d87377905f504d9efa0d114cd55b3b813b1ee64b7c38cb8ee0c43d14ac577726`