Skip to content
Certora

[Certora] Dev #18

Sign in to view logs

[Certora] Dev

[Certora] Dev #18

Triggered via pull request August 15, 2023 11:09
@jhoenickejhoenicke
synchronize #136
certora/dev
Status Success
Total duration 4m 36s
Artifacts –

certora.yml

on: pull_request
Matrix: verify
Fit to window
Zoom out
Zoom in