Skip to content

Add Certora specs

Add Certora specs #122

Triggered via pull request November 16, 2023 13:21
@sunbreak1211sunbreak1211
synchronize #46
certora
Status Success
Total duration 4m 6s
Artifacts

certora.yml

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