Skip to content
This repository has been archived by the owner on Nov 15, 2023. It is now read-only.

Add some metrics to dispute-coordinator. #5884

Closed
wants to merge 2 commits into from
Closed

Add some metrics to dispute-coordinator. #5884

wants to merge 2 commits into from

Commits on Aug 16, 2022

  1. Add some metrics to dispute-coordinator. 

    It is still quite slow apparently.
    @eskimor
    eskimor committed Aug 16, 2022
    Configuration menu
    Copy the full SHA
    794a48b View commit details
    Browse the repository at this point in the history

  2. More logs and metrics

    @eskimor
    eskimor committed Aug 16, 2022
    Configuration menu
    Copy the full SHA
    e5feebf View commit details
    Browse the repository at this point in the history