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

The runner has received a shutdown signal. This can happen when the runner service is stopped, or a manually started runner is canceled.

The operation was canceled.

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.

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.

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Nightly test and release workflow #284

nightly-build-for-master / ... / test (ubuntu-latest, 1)

Nightly test and release workflow #284

Jobs

Run details

Annotations

This job failed

Re-running jobs...