Feat rust externs subsets eta names tests #18952

Sign in to view logs

Triggered via pull request September 3, 2024 19:51

MikaelMayer

synchronize #5613

feat-rust-externs-subsets-eta-names-tests

Status Cancelled

Total duration 25m 44s

Artifacts 8

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

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

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

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

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

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

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

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

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

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.

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

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

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

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

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

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

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

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

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

Artifacts

Produced during runtime

Name	Size
integration-test-results-ubuntu-20.04-1	1.62 MB
integration-test-results-ubuntu-20.04-2	1.62 MB
integration-test-results-ubuntu-20.04-3	1.6 MB
integration-test-results-ubuntu-20.04-4	1.62 MB
integration-test-results-ubuntu-20.04-5	1.61 MB
unit-test-results-macos-13	9.22 MB
unit-test-results-ubuntu-20.04	9.24 MB
unit-test-results-windows-2019	3.77 MB