leanprover-community/ProofWidgets4

Add Speedscope component for visualizing profiler flamegraphs

Aberta

#6 aberto em 13 de abr. de 2023

Ver no GitHub
 (0 comentário) (0 reação) (0 responsável)Lean (45 forks)auto 404
enhancementgood first issuehelp wanted

Métricas do repositório

Stars
 (219 estrelas)
Métricas de merge de PR
 (Métricas PR pendentes)

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.

Guia do colaborador

Direção de pesquisa
Investigue como incorporar o Speedscope via iframe e buscar dados de perfil com AJAX dentro de um UserWidget do Lean 4.
Pilha de tecnologia
javascripthtml
Domain
frontenddeveloper experience
Tipo Issue
Funcionalidade
DifficultyDificuldade de implementação estimada para um novo contribuidor, de 1 para alterações muito pequenas a 5 para trabalho de nível especializado.
3
Tempo estimadoUm intervalo de tempo aproximado para um colaborador experiente investigar, implementar, testar e preparar um pull request.
Meio dia
Status da atividadeQuão disponível o issue aparece agora: novo, ativo, obsoleto, bloqueado ou aguardando entrada do mantenedor.
Recente
ClarityCom que clareza o issue explica a mudança esperada, os critérios de aceitação e a próxima etapa.
Principalmente claro
Prerequisites
JavaScriptHTML
Simpatia para novatosUma pontuação de 1 a 100 que estima o quão acessível este issue é para colaboradores iniciantes.
65