Flaky Test: LanguageServer.IntegrationTest.Lookup.DocumentSymbolTest.CanResolveSymbolsForMultiFileProjects #5443
Labels
kind: language development speed
Slows down development of Dafny the language, flaky tests
priority: next
Will consider working on this after in progress work is done
Seen here:
https://github.com/dafny-lang/dafny/actions/runs/9084945479/job/24967092653?pr=5442
The text was updated successfully, but these errors were encountered: