Read clauses on methods · robin-aws/dafny@0a82760

Triggered via pull request August 21, 2023 18:44

robin-aws

synchronize #30

read-clauses-on-methods

Status Failure

Total duration 10m 4s

Artifacts 1

refman.yml

on: pull_request

Matrix: build

1 error

Process completed with exit code 1.

Produced during runtime

Name	Size
DafnyRef Expired	1.41 MB