Test documentation

feat: Prelude extractor #9983

Sign in to view logs

Triggered via pull request August 29, 2024 19:42

RustanLeino

synchronize #5621

RustanLeino:prelude-extractor

Status Success

Total duration 17m 59s

Artifacts –

doc-tests.yml

on: pull_request

check-deep-tests / check-deep-tests

Annotations

4 warnings

doctests: Source/DafnyCore/Backends/BoogieExtractor.cs#L190

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

doctests: Source/DafnyDriver/Commands/VerifyCommand.cs#L102

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

doctests: Source/DafnyCore/Backends/BoogieExtractor.cs#L190

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

doctests: Source/DafnyDriver/Commands/VerifyCommand.cs#L102

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