Skip to content
Nightly test and release workflow

Nightly test and release workflow #289

Sign in to view logs

Nightly test and release workflow

Nightly test and release workflow #289

Re-run triggered June 4, 2024 19:13
@robin-awsrobin-aws
⁠ 7522f29
master
Status Success
Total duration 4h 24m 28s
Artifacts 31

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
7m 6s
nightly-build-for-master / publish-release / publish-release
Fit to window
Zoom out
Zoom in

Annotations

230 warnings
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/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)
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/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, 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): 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-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): 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)
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/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)
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, 6): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 6): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 6): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 6): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 6)
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, 6): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 6): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 7): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 7): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 7): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 7): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 7)
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, 7)
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, 7): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 7): 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 (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 (ubuntu-20.04, 10): 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 (ubuntu-20.04, 10): 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 (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, 10): 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 (ubuntu-20.04, 10): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
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 (ubuntu-20.04, 10)
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, 10)
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, 10): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 10): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 9): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 9): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 9): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 9): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 9)
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, 9): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 9): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 8): 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, 8): 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, 8): 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, 8): 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, 8)
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/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 8): 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, 8): 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, 2): 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, 2): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
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, 2): 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, 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)
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 (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): 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)
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, 6): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (macos-latest, 6): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (macos-latest, 6): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (macos-latest, 6): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (macos-latest, 6)
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, 6): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (macos-latest, 7): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (macos-latest, 6): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (macos-latest, 7): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (macos-latest, 7): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (macos-latest, 7): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (macos-latest, 7)
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, 7): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (macos-latest, 7): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (macos-latest, 9): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (macos-latest, 9): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (macos-latest, 9): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (macos-latest, 9): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (macos-latest, 9): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (macos-latest, 9): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (macos-latest, 9)
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, 10): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (macos-latest, 10): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (macos-latest, 10): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (macos-latest, 10): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (macos-latest, 10): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (macos-latest, 10): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (macos-latest, 10)
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, 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 (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, 2): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
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, 2): 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, 2): 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, 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/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)
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, 6): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (windows-2019, 6): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (windows-2019, 6): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (windows-2019, 6): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (windows-2019, 6)
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, 6): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (windows-2019, 6): 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/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, 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, 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, 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, 8): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (macos-latest, 8): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (macos-latest, 8): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (macos-latest, 8): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (macos-latest, 8)
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, 8): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (macos-latest, 8): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (windows-2019, 7): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (windows-2019, 7): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (windows-2019, 7): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (windows-2019, 7): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (windows-2019, 7): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (windows-2019, 7): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (windows-2019, 7)
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, 8): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (windows-2019, 8): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (windows-2019, 8): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (windows-2019, 8): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (windows-2019, 8)
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, 8): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (windows-2019, 8): 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, 9): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (windows-2019, 9): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (windows-2019, 9): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (windows-2019, 9): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (windows-2019, 9): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (windows-2019, 9): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (windows-2019, 9)
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, 10): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (windows-2019, 10): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (windows-2019, 10): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (windows-2019, 10): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (windows-2019, 10)
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, 10): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (windows-2019, 10): 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, 1): 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, 1): 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, 1): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
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 / publish-release / publish-release: Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
nightly-build-for-master / publish-release / publish-release: Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
nightly-build-for-master / publish-release / publish-release: Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
nightly-build-for-master / publish-release / publish-release: Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
nightly-build-for-master / publish-release / publish-release
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 / publish-release / publish-release: Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
nightly-build-for-master / publish-release / publish-release: Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
nightly-build-for-master / publish-release / publish-release: Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
nightly-build-for-master / publish-release / publish-release: Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
nightly-build-for-master / publish-release / publish-release
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 / publish-release / publish-release: Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
nightly-build-for-master / publish-release / publish-release: Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
nightly-build-for-master / publish-release / publish-release: Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
nightly-build-for-master / publish-release / publish-release: Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
nightly-build-for-master / publish-release / publish-release: Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
nightly-build-for-master / publish-release / publish-release: Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.

Artifacts

Produced during runtime
Name Size
integration-test-results-macos-latest-1 Expired
1.26 MB
nuget-packages Expired
14.9 MB