certora

Uncomment the execTransaction rule (#705) #354

Sign in to view logs

Triggered via push November 22, 2023 10:16

mmv08

main

Status Success

Total duration 5m 9s

Artifacts –

certora.yml

on: push

Matrix: verify