Skip to content

Add Certora specs

Add Certora specs #129

Triggered via pull request November 17, 2023 20:44
@sunbreak1211sunbreak1211
synchronize #46
certora
Status Success
Total duration 12m 23s
Artifacts

certora.yml

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