Se a execução de um fluxo de trabalho para code scanning falhar devido a um erro no servidor, tente executar o fluxo de trabalho novamente. Se o problema persistir, entre em contato com conosco por meio do Portal de suporte do GitHub.
Erro: "Erro de servidor"
Se você vir este erro, tente executar estas etapas.