Use refresh resolver by default #18962

Sign in to view logs

Triggered via pull request September 3, 2024 23:47

RustanLeino

synchronize #5653

RustanLeino:refresh-by-default

Status Failure

Total duration 25m 12s

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

19 errors and 34 warnings

xunit-tests / ubuntu-20.04 (1)

Process completed with exit code 1.

xunit-tests / win (1)

Process completed with exit code 1.

xunit-tests / osx (1)

Process completed with exit code 1.

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

Process completed with exit code 1.

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

Process completed with exit code 1.

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

Cannot implicitly convert type 'object' to 'B.Clx'. An explicit conversion exists (are you missing a cast?)

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

Cannot implicitly convert type 'object' to 'C.Clx<__U>'. An explicit conversion exists (are you missing a cast?)

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

Cannot implicitly convert type 'object' to 'B.Clx'. An explicit conversion exists (are you missing a cast?)

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

Cannot implicitly convert type 'object' to 'C.Clx<__U>'. An explicit conversion exists (are you missing a cast?)

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

Cannot implicitly convert type 'object' to 'B.Clx'. An explicit conversion exists (are you missing a cast?)

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

Cannot implicitly convert type 'object' to 'C.Clx<__U>'. An explicit conversion exists (are you missing a cast?)

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

Cannot implicitly convert type 'object' to 'B.Clx'. An explicit conversion exists (are you missing a cast?)

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

Cannot implicitly convert type 'object' to 'C.Clx<__U>'. An explicit conversion exists (are you missing a cast?)

integration-tests / test (ubuntu-20.04, 5): Source/IntegrationTests/bin/Debug/net6.0/TestFiles/LitTests/LitTest/git-issues/git-issue-3922.cs#L5832

Cannot implicitly convert type 'object' to 'B.Clx'. An explicit conversion exists (are you missing a cast?)

integration-tests / test (ubuntu-20.04, 5): Source/IntegrationTests/bin/Debug/net6.0/TestFiles/LitTests/LitTest/git-issues/git-issue-3922.cs#L5952

Cannot implicitly convert type 'object' to 'C.Clx<__U>'. An explicit conversion exists (are you missing a cast?)

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

Process completed with exit code 1.

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

BigInteger divide by zero

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

BigInteger divide by zero

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

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 / 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 / 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 / osx (1): Source/DafnyCore/Backends/BoogieExtractor.cs#L190

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

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, 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)

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, 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, 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)

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)

Artifacts

Produced during runtime

Name	Size
integration-test-results-ubuntu-20.04-1	1.66 MB
integration-test-results-ubuntu-20.04-2	1.65 MB
integration-test-results-ubuntu-20.04-3	1.67 MB
integration-test-results-ubuntu-20.04-4	1.65 MB
integration-test-results-ubuntu-20.04-5	1.69 MB
unit-test-results-macos-13	3.82 MB
unit-test-results-ubuntu-20.04	3.85 MB
unit-test-results-windows-2019	3.72 MB