certora-basic

feat: increment a/RwaAToken revision #84

Triggered via pull request September 8, 2025 21:09

synchronize #34

upd/upgrade-a-token

Status Success

Total duration 3m 46s

Artifacts 1

certora-basic.yml

on: pull_request

Produced during runtime

Name	Size	Digest
certora-run-logs-3fe219a6-4da3-4b6c-9f7b-b91429d8a443-17564199560 Expired	26.9 KB	`sha256:01ca478c22bbf425245e6c71accbe1876b6c52a6815a9ed6faea206454a9e054`