Release 4.8.0 #18939

Sign in to view logs

Triggered via pull request August 30, 2024 15:15

MikaelMayer

synchronize #5733

release-4.8.0

Status Cancelled

Total duration 51m 27s

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 10 warnings

xunit-tests / win (1)

Process completed with exit code 1.

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, 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, 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, 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, 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.61 MB
integration-test-results-ubuntu-20.04-2	1.6 MB
integration-test-results-ubuntu-20.04-3	1.59 MB
integration-test-results-ubuntu-20.04-4	1.61 MB
integration-test-results-ubuntu-20.04-5	1.6 MB
unit-test-results-macos-13	9.12 MB
unit-test-results-ubuntu-20.04	9.15 MB
unit-test-results-windows-2019	3.68 MB