Certora

Use config files (#68) #109

Sign in to view logs

Triggered via push October 31, 2023 20:57

certora

Status Success

Total duration 4m 20s

Artifacts –

certora.yml

on: push

Matrix: Certora