Skip to content
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 #426

Merged
merged 2 commits into from
Oct 16, 2023
Merged

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

merged 2 commits into from
Oct 16, 2023

Commits on Oct 16, 2023

  1. chore(metrics): update metrics to track prover performance

    @davidtaikocha
    davidtaikocha committed Oct 16, 2023
    Configuration menu
    Copy the full SHA
    d5eb8ed View commit details
    Browse the repository at this point in the history

  2. feat: rename a var

    @davidtaikocha
    davidtaikocha committed Oct 16, 2023
    Configuration menu
    Copy the full SHA
    20a0836 View commit details
    Browse the repository at this point in the history