Build and Test

Chore: Code to debug 5753 #19023

Sign in to view logs

Triggered via pull request September 9, 2024 14:04

MikaelMayer

synchronize #5754

chore-debug-flaky-5753

Status Failure

Total duration 46m 37s

Artifacts 8

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

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

xunit-tests / win (1)

Process completed with exit code 1.

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 / 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 / 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/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 / 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.

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)

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, 4): Source/DafnyCore/Backends/BoogieExtractor.cs#L190

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

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)

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)

Artifacts

Produced during runtime

Name	Size	Digest
integration-test-results-ubuntu-20.04-1 Expired	1.62 MB	`sha256:74000cc70a18b07fa964b5ca1b12f6cb2b73136a965d34a33ce18e59c40bd727`
integration-test-results-ubuntu-20.04-2 Expired	1.61 MB	`sha256:a4b48fb9218fb88e9281538e73a79c060d4736acecb5f511d936e759951b37ef`
integration-test-results-ubuntu-20.04-3 Expired	1.62 MB	`sha256:086e0523620c2a0911ec0200bbd3d9148f5128c2ade2430a4bcf81a96f86c392`
integration-test-results-ubuntu-20.04-4 Expired	1.62 MB	`sha256:83ec73cfed1bd378fc86349af9d137f6bd6c219918f8442b3313f9c514b7974e`
integration-test-results-ubuntu-20.04-5 Expired	1.63 MB	`sha256:2960aada0bb5127e14ff2a88db6dcc06ce45618c91ab2828b9bc62ad75e5eca6`
unit-test-results-macos-13 Expired	9.23 MB	`sha256:3e14f7665f4453cc0c9a73cef3aed938a52298062afe05ec2a931c2fb1f17f9c`
unit-test-results-ubuntu-20.04 Expired	9.26 MB	`sha256:0faed85a0513483aef7057ce1637e98b9ae32afb5713022f5fb92fe1045d8b36`
unit-test-results-windows-2019 Expired	3.75 MB	`sha256:3e3a225dd400b0069c82b5c65f007eeabd6f0e2c79092e60f2865ece429c6722`