leanprover-community/ProofWidgets4
Add Speedscope component for visualizing profiler flamegraphs
オープン
#6 opened on 2023/04/13
enhancementgood first issuehelp wanted
Repository metrics
- Stars
- (219 個のスター)
- PR merge metrics
- (PR metrics pending)
説明
It was requested on Zulip here. It looks like at the moment the best way to do this is via an iframe. The iframe would need to be able to fetch the profiling data via AJAX.