Skip to content
Nightly test and release workflow

Nightly test and release workflow #286

Sign in to view logs

Nightly test and release workflow

Nightly test and release workflow #286

Triggered via schedule June 3, 2024 14:33
@keyboardDrummerkeyboardDrummer
⁠ 20843c9
master
Status Failure
Total duration 2h 13m 47s
Artifacts 18

nightly-build.yml

on: schedule
nightly-build-for-master  /  ...  /  populate-matrix-dimensions
2s
nightly-build-for-master / deep-integration-tests / populate-matrix-dimensions
nightly-build-for-master  /  determine-vars
5s
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

4 errors and 142 warnings
nightly-build-for-master / deep-integration-tests / test (ubuntu-latest, 1)
The runner has received a shutdown signal. This can happen when the runner service is stopped, or a manually started runner is canceled.
nightly-build-for-master / deep-integration-tests / test (ubuntu-latest, 1)
The operation was canceled.
nightly-build-for-master / deep-integration-tests / test (macos-latest, 1)
The job running on runner GitHub Actions 1 has exceeded the maximum execution time of 120 minutes.
nightly-build-for-master / deep-integration-tests / test (macos-latest, 1)
The operation was canceled.
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, 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/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/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, 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/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, 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)
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, 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, 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-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): 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-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, 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/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/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/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)
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-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/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)
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.
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)
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 (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): 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 (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): 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 (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 (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, 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): 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/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, 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 (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 (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): 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)
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)
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): 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/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 (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 / 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)
No files were found with the provided path: dafny/Source/*/TestResults/*.trx dafny/Source/*/TestResults/*/coverage.cobertura.xml. No artifacts will be uploaded.

Artifacts

Produced during runtime
Name Size
integration-test-results-macos-latest-2 Expired
1.29 MB
integration-test-results-macos-latest-3 Expired
1.29 MB
integration-test-results-macos-latest-4 Expired
1.29 MB
integration-test-results-macos-latest-5 Expired
1.29 MB
integration-test-results-ubuntu-20.04-1 Expired
1.29 MB
integration-test-results-ubuntu-20.04-2 Expired
1.29 MB
integration-test-results-ubuntu-20.04-3 Expired
1.29 MB
integration-test-results-ubuntu-20.04-4 Expired
1.29 MB
integration-test-results-ubuntu-20.04-5 Expired
1.29 MB
integration-test-results-ubuntu-latest-2 Expired
1.29 MB
integration-test-results-ubuntu-latest-3 Expired
1.29 MB
integration-test-results-ubuntu-latest-4 Expired
1.29 MB
integration-test-results-ubuntu-latest-5 Expired
1.29 MB
integration-test-results-windows-2019-1 Expired
80.1 KB
integration-test-results-windows-2019-2 Expired
79.2 KB
integration-test-results-windows-2019-3 Expired
79.5 KB
integration-test-results-windows-2019-4 Expired
79.8 KB
integration-test-results-windows-2019-5 Expired
80.1 KB