Tests

migrate Prover functionality from core repo #84

Sign in to view logs

Triggered via pull request October 25, 2023 18:35

synchronize #4

add-certora-rules

Status Success

Total duration 2m 34s

Artifacts –

tests.yml

on: pull_request

Foundry project