Certora

Improve comment #130

Sign in to view logs

Triggered via push November 17, 2023 20:46

certora

Status Success

Total duration 6m 34s

Artifacts –

certora.yml

on: push

Matrix: Certora