Skip to content
CI

feat: add Certora Prover to m2-mainnet CI #366

Sign in to view logs

feat: add Certora Prover to m2-mainnet CI

feat: add Certora Prover to m2-mainnet CI #366

Triggered via pull request December 4, 2023 16:10
@ChaoticWalrusChaoticWalrus
opened #359
add-certora-to-m2-mainnet-ci
Status Success
Total duration 23s
Artifacts –

commitlint.yml

on: pull_request
commitlint
14s
commitlint
Fit to window
Zoom out
Zoom in