Chore: Removal of debug line for better mergeability #19001

Sign in to view logs

Triggered via pull request September 5, 2024 19:26

MikaelMayer

opened #5750

chore-no-line-debug

Status Failure

Total duration 35m 16s

Artifacts 7

msbuild.yml

on: pull_request

check-deep-tests / check-deep-tests

integration-tests / populate-matrix-dimensions

xunit-tests / populate-matrix-dimensions

Matrix: integration-tests / test

Matrix: xunit-tests / build

test-coverage-analysis

Annotations

1 error and 40 warnings

integration-tests / test (ubuntu-20.04, 4)

Process completed with exit code 1.

integration-tests / test (ubuntu-20.04, 4)

No files were found with the provided path: dafny/Source/*/TestResults/*.trx dafny/Source/*/TestResults/*/coverage.cobertura.xml. No artifacts will be uploaded.

singletons: Source/DafnyCore/Backends/BoogieExtractor.cs#L190

Converting null literal or possible null value to non-nullable type.

singletons: Source/DafnyDriver/Commands/VerifyCommand.cs#L101

WriteLine synchronously blocks. Await WriteLineAsync instead. (https://github.com/Microsoft/vs-threading/blob/master/doc/analyzers/VSTHRD103.md)

singletons: Source/DafnyCore/Backends/BoogieExtractor.cs#L190

Converting null literal or possible null value to non-nullable type.

singletons: Source/DafnyDriver/Commands/VerifyCommand.cs#L101

WriteLine synchronously blocks. Await WriteLineAsync instead. (https://github.com/Microsoft/vs-threading/blob/master/doc/analyzers/VSTHRD103.md)

singletons: Source/DafnyCore/Backends/BoogieExtractor.cs#L190

Converting null literal or possible null value to non-nullable type.

singletons: Source/DafnyDriver/Commands/VerifyCommand.cs#L101

WriteLine synchronously blocks. Await WriteLineAsync instead. (https://github.com/Microsoft/vs-threading/blob/master/doc/analyzers/VSTHRD103.md)

singletons: Source/DafnyCore/Backends/BoogieExtractor.cs#L190

Converting null literal or possible null value to non-nullable type.

singletons: Source/DafnyDriver/Commands/VerifyCommand.cs#L101

WriteLine synchronously blocks. Await WriteLineAsync instead. (https://github.com/Microsoft/vs-threading/blob/master/doc/analyzers/VSTHRD103.md)

xunit-tests / ubuntu-20.04 (1): Source/DafnyCore/Backends/BoogieExtractor.cs#L190

Converting null literal or possible null value to non-nullable type.

xunit-tests / ubuntu-20.04 (1): Source/DafnyCore/Backends/BoogieExtractor.cs#L190

Converting null literal or possible null value to non-nullable type.

xunit-tests / ubuntu-20.04 (1): Source/DafnyCore/Backends/BoogieExtractor.cs#L190

Converting null literal or possible null value to non-nullable type.

xunit-tests / 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)

xunit-tests / ubuntu-20.04 (1): Source/DafnyCore/Backends/BoogieExtractor.cs#L190

Converting null literal or possible null value to non-nullable type.

xunit-tests / 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)

xunit-tests / ubuntu-20.04 (1): Source/DafnyCore/Backends/BoogieExtractor.cs#L190

Converting null literal or possible null value to non-nullable type.

xunit-tests / ubuntu-20.04 (1): Source/DafnyCore/Backends/BoogieExtractor.cs#L190

Converting null literal or possible null value to non-nullable type.

xunit-tests / ubuntu-20.04 (1): Source/DafnyCore/Backends/BoogieExtractor.cs#L190

Converting null literal or possible null value to non-nullable type.

xunit-tests / 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)

xunit-tests / ubuntu-20.04 (1): Source/DafnyCore/Backends/BoogieExtractor.cs#L190

Converting null literal or possible null value to non-nullable type.

xunit-tests / win (1): Source/DafnyCore/Backends/BoogieExtractor.cs#L190

Converting null literal or possible null value to non-nullable type.

xunit-tests / win (1): Source/DafnyCore/Backends/BoogieExtractor.cs#L190

Converting null literal or possible null value to non-nullable type.

xunit-tests / win (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)

xunit-tests / win (1): Source/DafnyCore/Backends/BoogieExtractor.cs#L190

Converting null literal or possible null value to non-nullable type.

xunit-tests / win (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)

xunit-tests / win (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)

integration-tests / test (ubuntu-20.04, 2): Source/DafnyCore/Backends/BoogieExtractor.cs#L190

Converting null literal or possible null value to non-nullable type.

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)

integration-tests / test (ubuntu-20.04, 1): Source/DafnyCore/Backends/BoogieExtractor.cs#L190

Converting null literal or possible null value to non-nullable type.

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)

integration-tests / test (ubuntu-20.04, 3): Source/DafnyCore/Backends/BoogieExtractor.cs#L190

Converting null literal or possible null value to non-nullable type.

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)

integration-tests / test (ubuntu-20.04, 5): Source/DafnyCore/Backends/BoogieExtractor.cs#L190

Converting null literal or possible null value to non-nullable type.

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)

xunit-tests / osx (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)

xunit-tests / osx (1): Source/DafnyCore/Backends/BoogieExtractor.cs#L190

Converting null literal or possible null value to non-nullable type.

xunit-tests / osx (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)

xunit-tests / osx (1): Source/DafnyCore/Backends/BoogieExtractor.cs#L190

Converting null literal or possible null value to non-nullable type.

xunit-tests / osx (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)

xunit-tests / osx (1): 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-ubuntu-20.04-1	1.62 MB
integration-test-results-ubuntu-20.04-2	1.61 MB
integration-test-results-ubuntu-20.04-3	1.62 MB
integration-test-results-ubuntu-20.04-5	1.63 MB
unit-test-results-macos-13	9.23 MB
unit-test-results-ubuntu-20.04	9.26 MB
unit-test-results-windows-2019	9.22 MB