certora

ci: execute gas reports and coverage on each ci run #23

Sign in to view logs

Summary
Jobs
- verify
Run details
- Usage
- Workflow file

Triggered via pull request November 14, 2024 14:04

sakulstra

opened #72

bgd-labs:cov/ci

Status Skipped

Total duration 6s

Artifacts –

certora-basic.yml

on: pull_request

Matrix: verify