Skip to content
Jira sync

PANIC at Lean.Lsp.CompletionItem.getFileSource! Lean.Server.CompletionItemData:34:22: no data param on completion item #251

Sign in to view logs

PANIC at Lean.Lsp.CompletionItem.getFileSource! Lean.Server.CompletionItemData:34:22: no data param on completion item

PANIC at Lean.Lsp.CompletionItem.getFileSource! Lean.Server.CompletionItemData:34:22: no data param on completion item #251

Triggered via issue November 19, 2024 08:27
@KhaKha
closed #5807 4bef358
Status Success
Total duration 11s
Artifacts –

jira.yml

on: issues
jira-sync
3s
jira-sync
Fit to window
Zoom out
Zoom in