improve constructor readability #129

Sign in to view logs

Triggered via pull request October 4, 2024 14:25

MathisGD

synchronize #70

style/constructor-readability

Status Success

Total duration 8m 16s

Billable time 19m

Artifacts –

certora.yml

on: pull_request

Matrix: verify