Nightly test and release workflow #287
Annotations
7 warnings
Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
|
Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
|
Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
|
Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
|
|
Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
|
Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
|
This job succeeded
Loading