certora

FV: Ownership update after recovery finalisation #240

Sign in to view logs

Triggered via pull request August 5, 2024 14:29

akshay-ap

synchronize #38

fv-recovery-finalisation

Status Success

Total duration 37m 18s

Artifacts –

certora_recovery.yml

on: pull_request

Matrix: verify