Skip to content
certora-stata

feat: increment a/RwaAToken revision #81

Sign in to view logs

feat: increment a/RwaAToken revision

feat: increment a/RwaAToken revision #81

Triggered via pull request September 8, 2025 19:04
@DhairyaSethiDhairyaSethi
opened #34
upd/upgrade-a-token
Status Failure
Total duration 33s
Artifacts –

certora-stata.yml

on: pull_request
verify
29s
verify
Fit to window
Zoom out
Zoom in

Annotations

2 errors and 1 warning
verify
Process completed with exit code 2.
verify
Process completed with exit code 1.
verify
No files were found with the provided path: /tmp/certora-logs/*. No artifacts will be uploaded.