leanprover-community/ProofWidgets4

Add Speedscope component for visualizing profiler flamegraphs

Offen

#6 geöffnet am 13.04.2023

Auf GitHub ansehen
 (0 Kommentare) (0 Reaktionen) (0 zugewiesene Personen)Lean (45 Forks)auto 404
enhancementgood first issuehelp wanted

Repository-Metriken

Stars
 (219 Sterne)
PR-Merge-Metriken
 (PR-Metriken ausstehend)

Beschreibung

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.

Contributor Guide

Research-Richtung
Untersuchen Sie, wie Sie Speedscope per iframe einbetten und Profildaten mit AJAX innerhalb eines Lean 4 UserWidgets abrufen.
Tech Stack
javascripthtml
Domain
frontenddeveloper experience
Issue Type
Funktion
SchwierigkeitGeschätzte Implementierungsschwierigkeit für neue Contributors, von 1 für sehr kleine Änderungen bis 5 für Expertenarbeit.
3
Geschätzte ZeitEin grober Zeitrahmen, um zu recherchieren, zu implementieren, zu testen und einen Pull Request vorzubereiten.
Halber Tag
AktivitätsstatusWie verfügbar das Issue gerade wirkt: frisch, aktiv, stale, blockiert oder wartet auf Maintainer-Input.
Frisch
KlarheitWie klar das Issue die erwartete Änderung, Akzeptanzkriterien und den nächsten Schritt erklärt.
Meist klar
Voraussetzungen
JavaScriptHTML
EinsteigerfreundlichkeitEin Score von 1 bis 100, der schätzt, wie zugänglich dieses Issue für First-Time Contributors ist.
65