feat: add Certora Prover to m2-mainnet CI (#359) #374

Sign in to view logs

Summary
Jobs
- commitlint
Run details
- Usage
- Workflow file

Triggered via push December 4, 2023 17:32

m2-mainnet

Status Success

Total duration 26s

Artifacts –

commitlint.yml

on: push