Skip to content
certora-stata

feat: increment a/RwaAToken revision #83

Sign in to view logs

feat: increment a/RwaAToken revision

feat: increment a/RwaAToken revision #83

Triggered via pull request September 8, 2025 21:08
@DhairyaSethiDhairyaSethi
synchronize #34
upd/upgrade-a-token
Status Failure
Total duration 27s
Artifacts –

certora-stata.yml

on: pull_request
verify
23s
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.