Nightly test and release workflow #284
Annotations
2 errors and 7 warnings
|
|
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/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 failed
Loading