Tests

migrate Prover functionality from core repo #74

Sign in to view logs

Triggered via pull request October 23, 2023 20:12

synchronize #4

add-certora-rules

Status Success

Total duration 2m 38s

Artifacts –

tests.yml

on: pull_request

Foundry project