leanprover-community/ProofWidgets4

Add Speedscope component for visualizing profiler flamegraphs

Ouverte

#6 ouverte le 13 avr. 2023

Voir sur GitHub
 (0 commentaire) (0 réaction) (0 personne assignée)Lean (45 forks)auto 404
enhancementgood first issuehelp wanted

Métriques du dépôt

Stars
 (219 étoiles)
Métriques de merge PR
 (Métriques PR en attente)

Description

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.

Guide contributeur

Direction de recherche
Étudiez comment intégrer Speedscope via une iframe et récupérer les données de profilage avec AJAX dans un UserWidget Lean 4.
Stack technique
javascripthtml
Domaine
frontenddeveloper experience
Type d'issue
Fonctionnalité
DifficultéDifficulté estimée pour un nouveau contributeur, de 1 pour un très petit changement à 5 pour un travail expert.
3
Temps estiméFourchette de temps approximative pour investiguer, implémenter, tester et préparer une pull request.
Une demi journée
Statut d'activitéDisponibilité apparente de l'issue : fraîche, active, ancienne, bloquée ou en attente d'un mainteneur.
Récente
ClartéClarté avec laquelle l'issue explique le changement attendu, les critères d'acceptation et la prochaine étape.
Plutôt claire
Prérequis
JavaScriptHTML
Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.
65