Nightly test and release workflow · dafny-lang/dafny@20843c9

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.

For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.

Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56

Dereference of a possibly null reference.

Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62

Dereference of a possibly null reference.

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Nightly test and release workflow #284

nightly-build-for-master / ... / test (macos-latest, 4)

Nightly test and release workflow #284

Jobs

Run details

Annotations

This job succeeded

Re-running jobs...