add verification confs and update workflow · Certora/M0-Protocol@502ad55

Triggered via push April 19, 2024 09:35

main

Status Success

Total duration 5m 36s

Artifacts 1

coverage.yml

on: push

Produced during runtime

Name	Size
code-coverage-report Expired	95 KB