Skip to content
Nightly test and release workflow

Nightly test and release workflow #283

Sign in to view logs

Nightly test and release workflow

Nightly test and release workflow #283

Re-run triggered June 1, 2024 09:47
@keyboardDrummerkeyboardDrummer
⁠ 20843c9
master
Status Failure
Total duration 1h 0m 6s
Artifacts 19

nightly-build.yml

on: schedule
nightly-build-for-master  /  ...  /  populate-matrix-dimensions
0s
nightly-build-for-master / deep-integration-tests / populate-matrix-dimensions
nightly-build-for-master  /  determine-vars
8s
nightly-build-for-master / determine-vars
Matrix: nightly-build-for-master / deep-integration-tests / test
nightly-build-for-master  /  ...  /  publish-release
nightly-build-for-master / publish-release / publish-release
Fit to window
Zoom out
Zoom in

Annotations

1 error and 140 warnings
nightly-build-for-master / deep-integration-tests / test (ubuntu-latest, 1)
The hosted runner: GitHub Actions 17 lost communication with the server. Anything in your workflow that terminates the runner process, starves it for CPU/Memory, or blocks its network access can cause this error.
nightly-build-for-master / deep-integration-tests / test (ubuntu-latest, 3): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-latest, 3): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-latest, 3): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-latest, 3): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-latest, 3)
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.
nightly-build-for-master / deep-integration-tests / test (ubuntu-latest, 3): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-latest, 3): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-latest, 5): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-latest, 5): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-latest, 5): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-latest, 5): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-latest, 5): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-latest, 5): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-latest, 5)
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.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 1): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 1): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 1): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 1): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 1): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 1): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-latest, 2): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 1)
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.
nightly-build-for-master / deep-integration-tests / test (ubuntu-latest, 2): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-latest, 2): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-latest, 2): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-latest, 2)
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.
nightly-build-for-master / deep-integration-tests / test (ubuntu-latest, 2): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-latest, 2): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 2): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 2): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 2): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 2): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 2): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 2): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 2)
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.
nightly-build-for-master / deep-integration-tests / test (ubuntu-latest, 4): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-latest, 4): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-latest, 4): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-latest, 4): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-latest, 4)
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.
nightly-build-for-master / deep-integration-tests / test (ubuntu-latest, 4): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-latest, 4): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 4): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 4): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 4): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 4): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 4): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 4): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 4)
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.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 3): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 3): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 3): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 3): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 3)
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.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 3): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 3): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 5): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (macos-latest, 3): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 5): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 5): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (macos-latest, 3): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 5): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (macos-latest, 3): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 5): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (macos-latest, 3): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 5): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (macos-latest, 3): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 5)
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.
nightly-build-for-master / deep-integration-tests / test (macos-latest, 3): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (macos-latest, 3)
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.
nightly-build-for-master / deep-integration-tests / test (macos-latest, 2): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (macos-latest, 1): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (macos-latest, 2): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (macos-latest, 1): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (macos-latest, 2): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (macos-latest, 1): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (macos-latest, 2): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (macos-latest, 1): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (macos-latest, 2)
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.
nightly-build-for-master / deep-integration-tests / test (macos-latest, 1)
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.
nightly-build-for-master / deep-integration-tests / test (macos-latest, 2): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (macos-latest, 1): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (macos-latest, 2): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (macos-latest, 1): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (macos-latest, 4): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (macos-latest, 4): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (macos-latest, 4): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (macos-latest, 4): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (macos-latest, 4)
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.
nightly-build-for-master / deep-integration-tests / test (macos-latest, 4): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (macos-latest, 4): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (windows-2019, 1): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (windows-2019, 1): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (windows-2019, 1): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (windows-2019, 1): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (windows-2019, 1): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (windows-2019, 1): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (windows-2019, 1)
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.
nightly-build-for-master / deep-integration-tests / test (macos-latest, 5): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (macos-latest, 5): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (macos-latest, 5): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (macos-latest, 5): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (macos-latest, 5): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (macos-latest, 5): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (macos-latest, 5)
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.
nightly-build-for-master / deep-integration-tests / test (windows-2019, 2): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (windows-2019, 4): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (windows-2019, 2): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (windows-2019, 2): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (windows-2019, 4): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (windows-2019, 2): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (windows-2019, 4): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (windows-2019, 2): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (windows-2019, 4): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (windows-2019, 2): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (windows-2019, 4)
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.
nightly-build-for-master / deep-integration-tests / test (windows-2019, 2)
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.
nightly-build-for-master / deep-integration-tests / test (windows-2019, 4): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (windows-2019, 4): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (windows-2019, 5): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (windows-2019, 5): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (windows-2019, 5): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (windows-2019, 5): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (windows-2019, 5)
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.
nightly-build-for-master / deep-integration-tests / test (windows-2019, 5): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (windows-2019, 5): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (windows-2019, 3): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (windows-2019, 3): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (windows-2019, 3): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (windows-2019, 3): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (windows-2019, 3)
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.
nightly-build-for-master / deep-integration-tests / test (windows-2019, 3): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (windows-2019, 3): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-latest, 1): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-latest, 1): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-latest, 1): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-latest, 1): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-latest, 1)
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.
nightly-build-for-master / deep-integration-tests / test (ubuntu-latest, 1): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-latest, 1): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.