Add Certora specs #26

Sign in to view logs

Triggered via pull request October 25, 2024 19:23

synchronize #13

certora

Status Success

Total duration 1m 6s

Artifacts –

test.yml

on: pull_request

Foundry project