This repository has been archived by the owner on May 11, 2024. It is now read-only.

chore(metrics): update metrics to track prover performance #1774

Sign in to view logs

Triggered via pull request October 16, 2023 15:20

synchronize #426

cherry-pick-423

Status Success

Total duration 15s

Artifacts –

lint-pr.yml

on: pull_request

Validate PR title