Skip to content
Nightly test and release workflow

Nightly test and release workflow #384

Sign in to view logs

Nightly test and release workflow

Nightly test and release workflow #384

Triggered via schedule September 1, 2024 14:32
@keyboardDrummerkeyboardDrummer
⁠ b3f70a8
master
Status Success
Total duration 54m 13s
Artifacts 31

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
4s
nightly-build-for-master / determine-vars
Matrix: nightly-build-for-master / deep-integration-tests / test
nightly-build-for-master  /  ...  /  publish-release
9m 28s
nightly-build-for-master / publish-release / publish-release
Fit to window
Zoom out
Zoom in

Annotations

207 warnings
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 10): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 10): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
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/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 10): Source/DafnyDriver/Commands/VerifyCommand.cs#L102
WriteLine synchronously blocks. Await WriteLineAsync instead. (https://github.com/Microsoft/vs-threading/blob/master/doc/analyzers/VSTHRD103.md)
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 10): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 10): Source/DafnyDriver/Commands/VerifyCommand.cs#L102
WriteLine synchronously blocks. Await WriteLineAsync instead. (https://github.com/Microsoft/vs-threading/blob/master/doc/analyzers/VSTHRD103.md)
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 1): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 1): Source/DafnyDriver/Commands/VerifyCommand.cs#L102
WriteLine synchronously blocks. Await WriteLineAsync instead. (https://github.com/Microsoft/vs-threading/blob/master/doc/analyzers/VSTHRD103.md)
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 1): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 1): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
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/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 1): Source/DafnyDriver/Commands/VerifyCommand.cs#L102
WriteLine synchronously blocks. Await WriteLineAsync instead. (https://github.com/Microsoft/vs-threading/blob/master/doc/analyzers/VSTHRD103.md)
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 8): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 8): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
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 (ubuntu-20.04, 8): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 8): Source/DafnyDriver/Commands/VerifyCommand.cs#L102
WriteLine synchronously blocks. Await WriteLineAsync instead. (https://github.com/Microsoft/vs-threading/blob/master/doc/analyzers/VSTHRD103.md)
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 8): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 8): Source/DafnyDriver/Commands/VerifyCommand.cs#L102
WriteLine synchronously blocks. Await WriteLineAsync instead. (https://github.com/Microsoft/vs-threading/blob/master/doc/analyzers/VSTHRD103.md)
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 2): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 2): Source/DafnyDriver/Commands/VerifyCommand.cs#L102
WriteLine synchronously blocks. Await WriteLineAsync instead. (https://github.com/Microsoft/vs-threading/blob/master/doc/analyzers/VSTHRD103.md)
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 2): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 2): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
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, 2): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 2): Source/DafnyDriver/Commands/VerifyCommand.cs#L102
WriteLine synchronously blocks. Await WriteLineAsync instead. (https://github.com/Microsoft/vs-threading/blob/master/doc/analyzers/VSTHRD103.md)
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 3): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 3): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
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/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 3): Source/DafnyDriver/Commands/VerifyCommand.cs#L102
WriteLine synchronously blocks. Await WriteLineAsync instead. (https://github.com/Microsoft/vs-threading/blob/master/doc/analyzers/VSTHRD103.md)
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 3): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 3): Source/DafnyDriver/Commands/VerifyCommand.cs#L102
WriteLine synchronously blocks. Await WriteLineAsync instead. (https://github.com/Microsoft/vs-threading/blob/master/doc/analyzers/VSTHRD103.md)
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 5): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 5): Source/DafnyDriver/Commands/VerifyCommand.cs#L102
WriteLine synchronously blocks. Await WriteLineAsync instead. (https://github.com/Microsoft/vs-threading/blob/master/doc/analyzers/VSTHRD103.md)
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 5): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 5): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
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/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 5): Source/DafnyDriver/Commands/VerifyCommand.cs#L102
WriteLine synchronously blocks. Await WriteLineAsync instead. (https://github.com/Microsoft/vs-threading/blob/master/doc/analyzers/VSTHRD103.md)
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 9): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 9): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
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/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 9): Source/DafnyDriver/Commands/VerifyCommand.cs#L102
WriteLine synchronously blocks. Await WriteLineAsync instead. (https://github.com/Microsoft/vs-threading/blob/master/doc/analyzers/VSTHRD103.md)
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 9): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 9): Source/DafnyDriver/Commands/VerifyCommand.cs#L102
WriteLine synchronously blocks. Await WriteLineAsync instead. (https://github.com/Microsoft/vs-threading/blob/master/doc/analyzers/VSTHRD103.md)
nightly-build-for-master / deep-integration-tests / test (windows-2019, 10): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
nightly-build-for-master / deep-integration-tests / test (windows-2019, 10): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
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/DafnyDriver/Commands/VerifyCommand.cs#L102
WriteLine synchronously blocks. Await WriteLineAsync instead. (https://github.com/Microsoft/vs-threading/blob/master/doc/analyzers/VSTHRD103.md)
nightly-build-for-master / deep-integration-tests / test (windows-2019, 10): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
nightly-build-for-master / deep-integration-tests / test (windows-2019, 10): Source/DafnyDriver/Commands/VerifyCommand.cs#L102
WriteLine synchronously blocks. Await WriteLineAsync instead. (https://github.com/Microsoft/vs-threading/blob/master/doc/analyzers/VSTHRD103.md)
nightly-build-for-master / deep-integration-tests / test (macos-13, 1): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
nightly-build-for-master / deep-integration-tests / test (macos-13, 1): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
nightly-build-for-master / deep-integration-tests / test (macos-13, 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-13, 1): Source/DafnyDriver/Commands/VerifyCommand.cs#L102
WriteLine synchronously blocks. Await WriteLineAsync instead. (https://github.com/Microsoft/vs-threading/blob/master/doc/analyzers/VSTHRD103.md)
nightly-build-for-master / deep-integration-tests / test (macos-13, 1): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
nightly-build-for-master / deep-integration-tests / test (macos-13, 1): Source/DafnyDriver/Commands/VerifyCommand.cs#L102
WriteLine synchronously blocks. Await WriteLineAsync instead. (https://github.com/Microsoft/vs-threading/blob/master/doc/analyzers/VSTHRD103.md)
nightly-build-for-master / deep-integration-tests / test (windows-2019, 1): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
nightly-build-for-master / deep-integration-tests / test (windows-2019, 1): Source/DafnyDriver/Commands/VerifyCommand.cs#L102
WriteLine synchronously blocks. Await WriteLineAsync instead. (https://github.com/Microsoft/vs-threading/blob/master/doc/analyzers/VSTHRD103.md)
nightly-build-for-master / deep-integration-tests / test (windows-2019, 1): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
nightly-build-for-master / deep-integration-tests / test (windows-2019, 1): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
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, 1): Source/DafnyDriver/Commands/VerifyCommand.cs#L102
WriteLine synchronously blocks. Await WriteLineAsync instead. (https://github.com/Microsoft/vs-threading/blob/master/doc/analyzers/VSTHRD103.md)
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 7): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 7): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
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/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 7): Source/DafnyDriver/Commands/VerifyCommand.cs#L102
WriteLine synchronously blocks. Await WriteLineAsync instead. (https://github.com/Microsoft/vs-threading/blob/master/doc/analyzers/VSTHRD103.md)
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 7): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 7): Source/DafnyDriver/Commands/VerifyCommand.cs#L102
WriteLine synchronously blocks. Await WriteLineAsync instead. (https://github.com/Microsoft/vs-threading/blob/master/doc/analyzers/VSTHRD103.md)
nightly-build-for-master / deep-integration-tests / test (macos-13, 3): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
nightly-build-for-master / deep-integration-tests / test (macos-13, 3): Source/DafnyDriver/Commands/VerifyCommand.cs#L102
WriteLine synchronously blocks. Await WriteLineAsync instead. (https://github.com/Microsoft/vs-threading/blob/master/doc/analyzers/VSTHRD103.md)
nightly-build-for-master / deep-integration-tests / test (macos-13, 3): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
nightly-build-for-master / deep-integration-tests / test (macos-13, 3): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
nightly-build-for-master / deep-integration-tests / test (macos-13, 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-13, 3): Source/DafnyDriver/Commands/VerifyCommand.cs#L102
WriteLine synchronously blocks. Await WriteLineAsync instead. (https://github.com/Microsoft/vs-threading/blob/master/doc/analyzers/VSTHRD103.md)
nightly-build-for-master / deep-integration-tests / test (macos-13, 4): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
nightly-build-for-master / deep-integration-tests / test (macos-13, 4): Source/DafnyDriver/Commands/VerifyCommand.cs#L102
WriteLine synchronously blocks. Await WriteLineAsync instead. (https://github.com/Microsoft/vs-threading/blob/master/doc/analyzers/VSTHRD103.md)
nightly-build-for-master / deep-integration-tests / test (macos-13, 4): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
nightly-build-for-master / deep-integration-tests / test (macos-13, 4): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
nightly-build-for-master / deep-integration-tests / test (macos-13, 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-13, 4): Source/DafnyDriver/Commands/VerifyCommand.cs#L102
WriteLine synchronously blocks. Await WriteLineAsync instead. (https://github.com/Microsoft/vs-threading/blob/master/doc/analyzers/VSTHRD103.md)
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 4): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 4): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
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/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 4): Source/DafnyDriver/Commands/VerifyCommand.cs#L102
WriteLine synchronously blocks. Await WriteLineAsync instead. (https://github.com/Microsoft/vs-threading/blob/master/doc/analyzers/VSTHRD103.md)
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 4): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 4): Source/DafnyDriver/Commands/VerifyCommand.cs#L102
WriteLine synchronously blocks. Await WriteLineAsync instead. (https://github.com/Microsoft/vs-threading/blob/master/doc/analyzers/VSTHRD103.md)
nightly-build-for-master / deep-integration-tests / test (windows-2019, 2): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
nightly-build-for-master / deep-integration-tests / test (windows-2019, 2): Source/DafnyDriver/Commands/VerifyCommand.cs#L102
WriteLine synchronously blocks. Await WriteLineAsync instead. (https://github.com/Microsoft/vs-threading/blob/master/doc/analyzers/VSTHRD103.md)
nightly-build-for-master / deep-integration-tests / test (windows-2019, 2): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
nightly-build-for-master / deep-integration-tests / test (windows-2019, 2): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
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, 2): Source/DafnyDriver/Commands/VerifyCommand.cs#L102
WriteLine synchronously blocks. Await WriteLineAsync instead. (https://github.com/Microsoft/vs-threading/blob/master/doc/analyzers/VSTHRD103.md)
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 6): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 6): Source/DafnyDriver/Commands/VerifyCommand.cs#L102
WriteLine synchronously blocks. Await WriteLineAsync instead. (https://github.com/Microsoft/vs-threading/blob/master/doc/analyzers/VSTHRD103.md)
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 6): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 6): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
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/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 6): Source/DafnyDriver/Commands/VerifyCommand.cs#L102
WriteLine synchronously blocks. Await WriteLineAsync instead. (https://github.com/Microsoft/vs-threading/blob/master/doc/analyzers/VSTHRD103.md)
nightly-build-for-master / deep-integration-tests / test (macos-13, 2): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
nightly-build-for-master / deep-integration-tests / test (macos-13, 2): Source/DafnyDriver/Commands/VerifyCommand.cs#L102
WriteLine synchronously blocks. Await WriteLineAsync instead. (https://github.com/Microsoft/vs-threading/blob/master/doc/analyzers/VSTHRD103.md)
nightly-build-for-master / deep-integration-tests / test (macos-13, 2): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
nightly-build-for-master / deep-integration-tests / test (macos-13, 2): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
nightly-build-for-master / deep-integration-tests / test (macos-13, 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-13, 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-13, 2): Source/DafnyDriver/Commands/VerifyCommand.cs#L102
WriteLine synchronously blocks. Await WriteLineAsync instead. (https://github.com/Microsoft/vs-threading/blob/master/doc/analyzers/VSTHRD103.md)
nightly-build-for-master / deep-integration-tests / test (macos-13, 10): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
nightly-build-for-master / deep-integration-tests / test (macos-13, 10): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
nightly-build-for-master / deep-integration-tests / test (macos-13, 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 (macos-13, 10): Source/DafnyDriver/Commands/VerifyCommand.cs#L102
WriteLine synchronously blocks. Await WriteLineAsync instead. (https://github.com/Microsoft/vs-threading/blob/master/doc/analyzers/VSTHRD103.md)
nightly-build-for-master / deep-integration-tests / test (macos-13, 10): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
nightly-build-for-master / deep-integration-tests / test (macos-13, 10): Source/DafnyDriver/Commands/VerifyCommand.cs#L102
WriteLine synchronously blocks. Await WriteLineAsync instead. (https://github.com/Microsoft/vs-threading/blob/master/doc/analyzers/VSTHRD103.md)
nightly-build-for-master / deep-integration-tests / test (windows-2019, 3): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
nightly-build-for-master / deep-integration-tests / test (windows-2019, 3): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
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/DafnyDriver/Commands/VerifyCommand.cs#L102
WriteLine synchronously blocks. Await WriteLineAsync instead. (https://github.com/Microsoft/vs-threading/blob/master/doc/analyzers/VSTHRD103.md)
nightly-build-for-master / deep-integration-tests / test (windows-2019, 3): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
nightly-build-for-master / deep-integration-tests / test (windows-2019, 3): Source/DafnyDriver/Commands/VerifyCommand.cs#L102
WriteLine synchronously blocks. Await WriteLineAsync instead. (https://github.com/Microsoft/vs-threading/blob/master/doc/analyzers/VSTHRD103.md)
nightly-build-for-master / deep-integration-tests / test (windows-2019, 5): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
nightly-build-for-master / deep-integration-tests / test (windows-2019, 5): Source/DafnyDriver/Commands/VerifyCommand.cs#L102
WriteLine synchronously blocks. Await WriteLineAsync instead. (https://github.com/Microsoft/vs-threading/blob/master/doc/analyzers/VSTHRD103.md)
nightly-build-for-master / deep-integration-tests / test (windows-2019, 5): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
nightly-build-for-master / deep-integration-tests / test (windows-2019, 5): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
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/DafnyDriver/Commands/VerifyCommand.cs#L102
WriteLine synchronously blocks. Await WriteLineAsync instead. (https://github.com/Microsoft/vs-threading/blob/master/doc/analyzers/VSTHRD103.md)
nightly-build-for-master / deep-integration-tests / test (windows-2019, 8): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
nightly-build-for-master / deep-integration-tests / test (windows-2019, 8): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
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/DafnyDriver/Commands/VerifyCommand.cs#L102
WriteLine synchronously blocks. Await WriteLineAsync instead. (https://github.com/Microsoft/vs-threading/blob/master/doc/analyzers/VSTHRD103.md)
nightly-build-for-master / deep-integration-tests / test (windows-2019, 8): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
nightly-build-for-master / deep-integration-tests / test (windows-2019, 8): Source/DafnyDriver/Commands/VerifyCommand.cs#L102
WriteLine synchronously blocks. Await WriteLineAsync instead. (https://github.com/Microsoft/vs-threading/blob/master/doc/analyzers/VSTHRD103.md)
nightly-build-for-master / deep-integration-tests / test (macos-13, 5): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
nightly-build-for-master / deep-integration-tests / test (macos-13, 5): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
nightly-build-for-master / deep-integration-tests / test (macos-13, 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-13, 5): Source/DafnyDriver/Commands/VerifyCommand.cs#L102
WriteLine synchronously blocks. Await WriteLineAsync instead. (https://github.com/Microsoft/vs-threading/blob/master/doc/analyzers/VSTHRD103.md)
nightly-build-for-master / deep-integration-tests / test (macos-13, 5): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
nightly-build-for-master / deep-integration-tests / test (macos-13, 5): Source/DafnyDriver/Commands/VerifyCommand.cs#L102
WriteLine synchronously blocks. Await WriteLineAsync instead. (https://github.com/Microsoft/vs-threading/blob/master/doc/analyzers/VSTHRD103.md)
nightly-build-for-master / deep-integration-tests / test (windows-2019, 9): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
nightly-build-for-master / deep-integration-tests / test (windows-2019, 9): Source/DafnyDriver/Commands/VerifyCommand.cs#L102
WriteLine synchronously blocks. Await WriteLineAsync instead. (https://github.com/Microsoft/vs-threading/blob/master/doc/analyzers/VSTHRD103.md)
nightly-build-for-master / deep-integration-tests / test (windows-2019, 9): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
nightly-build-for-master / deep-integration-tests / test (windows-2019, 9): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
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, 9): Source/DafnyDriver/Commands/VerifyCommand.cs#L102
WriteLine synchronously blocks. Await WriteLineAsync instead. (https://github.com/Microsoft/vs-threading/blob/master/doc/analyzers/VSTHRD103.md)
nightly-build-for-master / deep-integration-tests / test (windows-2019, 6): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
nightly-build-for-master / deep-integration-tests / test (windows-2019, 6): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
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/DafnyDriver/Commands/VerifyCommand.cs#L102
WriteLine synchronously blocks. Await WriteLineAsync instead. (https://github.com/Microsoft/vs-threading/blob/master/doc/analyzers/VSTHRD103.md)
nightly-build-for-master / deep-integration-tests / test (windows-2019, 6): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
nightly-build-for-master / deep-integration-tests / test (windows-2019, 6): Source/DafnyDriver/Commands/VerifyCommand.cs#L102
WriteLine synchronously blocks. Await WriteLineAsync instead. (https://github.com/Microsoft/vs-threading/blob/master/doc/analyzers/VSTHRD103.md)
nightly-build-for-master / deep-integration-tests / test (macos-13, 6): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
nightly-build-for-master / deep-integration-tests / test (macos-13, 6): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
nightly-build-for-master / deep-integration-tests / test (macos-13, 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-13, 6): Source/DafnyDriver/Commands/VerifyCommand.cs#L102
WriteLine synchronously blocks. Await WriteLineAsync instead. (https://github.com/Microsoft/vs-threading/blob/master/doc/analyzers/VSTHRD103.md)
nightly-build-for-master / deep-integration-tests / test (macos-13, 6): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
nightly-build-for-master / deep-integration-tests / test (macos-13, 6): Source/DafnyDriver/Commands/VerifyCommand.cs#L102
WriteLine synchronously blocks. Await WriteLineAsync instead. (https://github.com/Microsoft/vs-threading/blob/master/doc/analyzers/VSTHRD103.md)
nightly-build-for-master / deep-integration-tests / test (macos-13, 8): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
nightly-build-for-master / deep-integration-tests / test (macos-13, 8): Source/DafnyDriver/Commands/VerifyCommand.cs#L102
WriteLine synchronously blocks. Await WriteLineAsync instead. (https://github.com/Microsoft/vs-threading/blob/master/doc/analyzers/VSTHRD103.md)
nightly-build-for-master / deep-integration-tests / test (macos-13, 8): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
nightly-build-for-master / deep-integration-tests / test (macos-13, 8): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
nightly-build-for-master / deep-integration-tests / test (macos-13, 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-13, 8): Source/DafnyDriver/Commands/VerifyCommand.cs#L102
WriteLine synchronously blocks. Await WriteLineAsync instead. (https://github.com/Microsoft/vs-threading/blob/master/doc/analyzers/VSTHRD103.md)
nightly-build-for-master / deep-integration-tests / test (windows-2019, 7): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
nightly-build-for-master / deep-integration-tests / test (windows-2019, 7): Source/DafnyDriver/Commands/VerifyCommand.cs#L102
WriteLine synchronously blocks. Await WriteLineAsync instead. (https://github.com/Microsoft/vs-threading/blob/master/doc/analyzers/VSTHRD103.md)
nightly-build-for-master / deep-integration-tests / test (windows-2019, 7): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
nightly-build-for-master / deep-integration-tests / test (windows-2019, 7): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
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, 7): Source/DafnyDriver/Commands/VerifyCommand.cs#L102
WriteLine synchronously blocks. Await WriteLineAsync instead. (https://github.com/Microsoft/vs-threading/blob/master/doc/analyzers/VSTHRD103.md)
nightly-build-for-master / deep-integration-tests / test (windows-2019, 4): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
nightly-build-for-master / deep-integration-tests / test (windows-2019, 4): Source/DafnyDriver/Commands/VerifyCommand.cs#L102
WriteLine synchronously blocks. Await WriteLineAsync instead. (https://github.com/Microsoft/vs-threading/blob/master/doc/analyzers/VSTHRD103.md)
nightly-build-for-master / deep-integration-tests / test (windows-2019, 4): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
nightly-build-for-master / deep-integration-tests / test (windows-2019, 4): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
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/DafnyDriver/Commands/VerifyCommand.cs#L102
WriteLine synchronously blocks. Await WriteLineAsync instead. (https://github.com/Microsoft/vs-threading/blob/master/doc/analyzers/VSTHRD103.md)
nightly-build-for-master / deep-integration-tests / test (macos-13, 7): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
nightly-build-for-master / deep-integration-tests / test (macos-13, 7): Source/DafnyDriver/Commands/VerifyCommand.cs#L102
WriteLine synchronously blocks. Await WriteLineAsync instead. (https://github.com/Microsoft/vs-threading/blob/master/doc/analyzers/VSTHRD103.md)
nightly-build-for-master / deep-integration-tests / test (macos-13, 7): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
nightly-build-for-master / deep-integration-tests / test (macos-13, 7): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
nightly-build-for-master / deep-integration-tests / test (macos-13, 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-13, 7): Source/DafnyDriver/Commands/VerifyCommand.cs#L102
WriteLine synchronously blocks. Await WriteLineAsync instead. (https://github.com/Microsoft/vs-threading/blob/master/doc/analyzers/VSTHRD103.md)
nightly-build-for-master / deep-integration-tests / test (macos-13, 9): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
nightly-build-for-master / deep-integration-tests / test (macos-13, 9): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
nightly-build-for-master / deep-integration-tests / test (macos-13, 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-13, 9): Source/DafnyDriver/Commands/VerifyCommand.cs#L102
WriteLine synchronously blocks. Await WriteLineAsync instead. (https://github.com/Microsoft/vs-threading/blob/master/doc/analyzers/VSTHRD103.md)
nightly-build-for-master / deep-integration-tests / test (macos-13, 9): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
nightly-build-for-master / deep-integration-tests / test (macos-13, 9): Source/DafnyDriver/Commands/VerifyCommand.cs#L102
WriteLine synchronously blocks. Await WriteLineAsync instead. (https://github.com/Microsoft/vs-threading/blob/master/doc/analyzers/VSTHRD103.md)
nightly-build-for-master / publish-release / publish-release: Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
nightly-build-for-master / publish-release / publish-release: Source/DafnyDriver/Commands/VerifyCommand.cs#L102
WriteLine synchronously blocks. Await WriteLineAsync instead. (https://github.com/Microsoft/vs-threading/blob/master/doc/analyzers/VSTHRD103.md)
nightly-build-for-master / publish-release / publish-release: Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
nightly-build-for-master / publish-release / publish-release: Source/DafnyDriver/Commands/VerifyCommand.cs#L102
WriteLine synchronously blocks. Await WriteLineAsync instead. (https://github.com/Microsoft/vs-threading/blob/master/doc/analyzers/VSTHRD103.md)
nightly-build-for-master / publish-release / publish-release: Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
nightly-build-for-master / publish-release / publish-release: Source/DafnyDriver/Commands/VerifyCommand.cs#L102
WriteLine synchronously blocks. Await WriteLineAsync instead. (https://github.com/Microsoft/vs-threading/blob/master/doc/analyzers/VSTHRD103.md)
nightly-build-for-master / publish-release / publish-release: Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
nightly-build-for-master / publish-release / publish-release: Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
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/DafnyDriver/Commands/VerifyCommand.cs#L102
WriteLine synchronously blocks. Await WriteLineAsync instead. (https://github.com/Microsoft/vs-threading/blob/master/doc/analyzers/VSTHRD103.md)
nightly-build-for-master / publish-release / publish-release: Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
nightly-build-for-master / publish-release / publish-release: Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
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/DafnyDriver/Commands/VerifyCommand.cs#L102
WriteLine synchronously blocks. Await WriteLineAsync instead. (https://github.com/Microsoft/vs-threading/blob/master/doc/analyzers/VSTHRD103.md)
nightly-build-for-master / publish-release / publish-release: Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
nightly-build-for-master / publish-release / publish-release: Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.

Artifacts

Produced during runtime
Name Size
integration-test-results-macos-13-1 Expired
1.28 MB
integration-test-results-macos-13-10 Expired
1.28 MB
integration-test-results-macos-13-2 Expired
1.28 MB
integration-test-results-macos-13-3 Expired
1.28 MB
integration-test-results-macos-13-4 Expired
1.28 MB
integration-test-results-macos-13-5 Expired
1.28 MB
integration-test-results-macos-13-6 Expired
1.28 MB
integration-test-results-macos-13-7 Expired
1.28 MB
integration-test-results-macos-13-8 Expired
1.28 MB
integration-test-results-macos-13-9 Expired
1.28 MB
integration-test-results-ubuntu-20.04-1 Expired
1.28 MB
integration-test-results-ubuntu-20.04-10 Expired
1.28 MB
integration-test-results-ubuntu-20.04-2 Expired
1.28 MB
integration-test-results-ubuntu-20.04-3 Expired
1.28 MB
integration-test-results-ubuntu-20.04-4 Expired
1.28 MB
integration-test-results-ubuntu-20.04-5 Expired
1.28 MB
integration-test-results-ubuntu-20.04-6 Expired
1.28 MB
integration-test-results-ubuntu-20.04-7 Expired
1.28 MB
integration-test-results-ubuntu-20.04-8 Expired
1.28 MB
integration-test-results-ubuntu-20.04-9 Expired
1.28 MB
integration-test-results-windows-2019-1 Expired
1.28 MB
integration-test-results-windows-2019-10 Expired
1.28 MB
integration-test-results-windows-2019-2 Expired
1.28 MB
integration-test-results-windows-2019-3 Expired
40.8 KB
integration-test-results-windows-2019-4 Expired
1.28 MB
integration-test-results-windows-2019-5 Expired
1.28 MB
integration-test-results-windows-2019-6 Expired
41.1 KB
integration-test-results-windows-2019-7 Expired
40 KB
integration-test-results-windows-2019-8 Expired
1.28 MB
integration-test-results-windows-2019-9 Expired
1.28 MB
nuget-packages Expired
11.1 MB