Release 4.8.0 #18956

Sign in to view logs

Re-run triggered September 3, 2024 21:57

#5733

release-4.8.0

Status Success

Total duration 26m 39s

Artifacts 10

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

2 errors and 41 warnings

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

unable to access 'https://github.com/dafny-lang/libraries.git/': GnuTLS recv error (-110): The TLS connection was non-properly terminated.

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

clone of 'https://github.com/dafny-lang/libraries.git' into submodule path '/home/runner/work/dafny/dafny/dafny/Source/IntegrationTests/TestFiles/LitTests/LitTest/libraries' failed

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.

integration-tests / test (ubuntu-20.04, 3): 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)

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

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)

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.

integration-tests / test (ubuntu-20.04, 2): 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, 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)

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

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

Artifacts

Produced during runtime

Name	Size
integration-test-results-ubuntu-20.04-1	1.61 MB
integration-test-results-ubuntu-20.04-5	1.6 MB
test-coverage-results	28.9 MB
unit-test-results-windows-2019	9.13 MB