Nightly test and release workflow

Nightly test and release workflow #392

Sign in to view logs

Triggered via schedule September 9, 2024 14:35

keyboardDrummer

master

Status Success

Total duration 1h 40m 7s

Artifacts 31

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

nightly-build.yml

on: schedule

nightly-build-for-master / ... / populate-matrix-dimensions

nightly-build-for-master / determine-vars

Matrix: nightly-build-for-master / deep-integration-tests / test

nightly-build-for-master / ... / publish-release

Annotations

208 warnings

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#L101

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#L101

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#L101

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#L101

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/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#L101

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#L101

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#L101

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#L101

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#L101

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#L101

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#L101

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#L101

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#L101

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#L101

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#L101

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#L101

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#L101

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#L101

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#L101

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#L101

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#L101

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#L101

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#L101

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#L101

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#L101

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#L101

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#L101

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): Source/DafnyDriver/Commands/VerifyCommand.cs#L101

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#L101

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#L101

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#L101

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#L101

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#L101

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#L101

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#L101

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#L101

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#L101

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)

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#L101

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#L101

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#L101

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#L101

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#L101

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#L101

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#L101

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#L101

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#L101

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#L101

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#L101

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#L101

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#L101

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#L101

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)

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#L101

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#L101

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#L101

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#L101

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#L101

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#L101

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#L101

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#L101

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#L101

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#L101

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#L101

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#L101

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#L101

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#L101

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	Digest
integration-test-results-macos-13-1 Expired	1.29 MB	`sha256:c9d34932734344acdd2bc42e24f94daf05dbac05c829d8ce142fb8e338932d7d`
integration-test-results-macos-13-10 Expired	1.29 MB	`sha256:5a2a4bfc74e4a3185240d8e72b4574150ed073bf4eac40ab968c1d41bb5b4b67`
integration-test-results-macos-13-2 Expired	1.3 MB	`sha256:be6ae9e90e52d92aa629fbbd542352f02fc52331bf9005d7b3203cc31f5dcbb5`
integration-test-results-macos-13-3 Expired	1.3 MB	`sha256:c739e082048dfc3e8cdfd683ac95edde9eb5e4575cbb1e1eb6f24e612812972b`
integration-test-results-macos-13-4 Expired	1.29 MB	`sha256:443d78e49e64631442365fba27349570658cfe7dd12eb4cbb748efaade750cb6`
integration-test-results-macos-13-5 Expired	1.29 MB	`sha256:eeb05ce7b0f2e126318206c60423b1eff0b8f38911916acbf8840df1e377e1ad`
integration-test-results-macos-13-6 Expired	1.29 MB	`sha256:52a9b3b9d3c897bf96a4e317737efd37023de1e00dc210c96541a1abc590363e`
integration-test-results-macos-13-7 Expired	1.29 MB	`sha256:589c0b8d6c8154b696b85702e1f6abedc7f5e00b69a749c6930e3825a5504ccd`
integration-test-results-macos-13-8 Expired	1.29 MB	`sha256:b039285659f4cdcc0fdda1752a0c11789828fe58c82a253c41453725f14db1b6`
integration-test-results-macos-13-9 Expired	1.3 MB	`sha256:7a995ade4ef3c5f9d2c3cbd9e738f9bf34ccdd26aa545bba311076c3f57408d4`
integration-test-results-ubuntu-20.04-1 Expired	1.3 MB	`sha256:5e57f17825b5594a48293665e762651d72b22fe3eb203304cae7485bb17717f8`
integration-test-results-ubuntu-20.04-10 Expired	1.3 MB	`sha256:a50e58e36f3559c750d0dfad1b50d547e8d0862df6abcdc89fdfdd3c7c5927a0`
integration-test-results-ubuntu-20.04-2 Expired	1.3 MB	`sha256:035bc2aff72852030e8b79d114f8f39707659cd71ec5586446336fbc0e65f8bc`
integration-test-results-ubuntu-20.04-3 Expired	1.3 MB	`sha256:3a5baab1e269cb1d5f349d1ef2ae4e3565a02b621b8dfd56486de9876a14cdf6`
integration-test-results-ubuntu-20.04-4 Expired	1.29 MB	`sha256:8dee0fabd3fc397299464e0ead5219a581bdbaf6f447df98ef287fff92ea6523`
integration-test-results-ubuntu-20.04-5 Expired	1.29 MB	`sha256:a72447cf5824683a43aa2b2480c18ffc10eb597509667a6acb033f46b80f2507`
integration-test-results-ubuntu-20.04-6 Expired	1.29 MB	`sha256:c749e99d85364071a44e7337336439f251fe9d1ca5952bf6c82ee97840ac865b`
integration-test-results-ubuntu-20.04-7 Expired	1.29 MB	`sha256:91e34749ef7b57347c4216ff228b2cee1bcd6ee779c4cacbb18452de9b290f1c`
integration-test-results-ubuntu-20.04-8 Expired	1.29 MB	`sha256:e5f5116bf9e0a6334984147305e097703b6ba07046ccb36b00fc5e9c89e52028`
integration-test-results-ubuntu-20.04-9 Expired	1.3 MB	`sha256:f16f11024d6feecaea44b0401e3096ebe3e0693704c4c436dd9b27b6a95d1529`
integration-test-results-windows-2019-1 Expired	41.3 KB	`sha256:43bf85594570c2a2fce8304fba7ad875088f2463c787f7bcaa8f346dd60264a6`
integration-test-results-windows-2019-10 Expired	1.29 MB	`sha256:d9ca06069b7e65fad42df39418f28d6a7dd568e0cb4b479027b7586ba488c2d8`
integration-test-results-windows-2019-2 Expired	1.29 MB	`sha256:3c1516b2c63417af4fcaef25cb9b36919ce593d3d259efc167f83af71992b1ad`
integration-test-results-windows-2019-3 Expired	1.29 MB	`sha256:346228f7f6c61c92f49260b794fbbb6bc3dcbd7fc4345cf02eeb99c33a755cad`
integration-test-results-windows-2019-4 Expired	1.29 MB	`sha256:0a238f8c6f5e4e2a2777309f3d5397dbaef09a05f912c9d18344f6db79016030`
integration-test-results-windows-2019-5 Expired	1.29 MB	`sha256:9af7c4803085ac38c9ca45af84c82a86da702002103d3ca8f99a14156e82596e`
integration-test-results-windows-2019-6 Expired	1.29 MB	`sha256:67474c5fce036f90031c78bc02819e95ae0a6a5ac93adfffd43f78d10606ac13`
integration-test-results-windows-2019-7 Expired	1.29 MB	`sha256:43a69a172dd1594032e9e06ed156f0af245cea0627d696d6492923bf1aeec162`
integration-test-results-windows-2019-8 Expired	1.29 MB	`sha256:f0d8084a10e06d39fbff2d083596f3b2436f1c1438165f59519155724b8177da`
integration-test-results-windows-2019-9 Expired	1.29 MB	`sha256:04fde7e4573a40ce2956477a1cf5f302af6dabdff6ba61199ee389931b460f3a`
nuget-packages Expired	11.1 MB	`sha256:f256241ff5922e225508939fefbf53e63d0077e6af13ee146ff9ce68a030ae36`