feat: increment a/RwaAToken revision #96

Triggered via pull request September 22, 2025 22:30

yan-man

synchronize #34

upd/upgrade-a-token

Status Success

Total duration 3m 20s

Artifacts 1

certora-basic.yml

on: pull_request

Produced during runtime

Name	Size	Digest
certora-run-logs-923219c5-bfa2-4475-9b78-34e4d536a802-17930272626 Expired	29.4 KB	`sha256:69449b03a3fd3d8127cabbfe3fd6e4a9c6616c627f9f0a6fee89cfaadf3bedc8`