Test documentation

Read clauses on methods #74

Sign in to view logs

Triggered via pull request August 17, 2023 05:36

robin-aws

synchronize #30

read-clauses-on-methods

Status Success

Total duration 18m 52s

Artifacts –

doc-tests.yml

on: pull_request

check-deep-tests / check-deep-tests

Annotations

2 warnings

doctests: Source/DafnyCore/Verifier/Translator.ClassMembers.cs#L544

The given expression is never of the provided ('WildcardExpr') type

doctests: Source/DafnyCore/Verifier/Translator.ClassMembers.cs#L544

The given expression is never of the provided ('WildcardExpr') type