Add certora rules and workflow verification step (#167) · Certora/M0-Protocol@9f2b320

Triggered via push April 18, 2024 19:44

main

Status Success

Total duration 5m 29s

Artifacts 1

coverage.yml

on: push

Produced during runtime

Name	Size
code-coverage-report Expired	95 KB