GitHub issue 511 · robin-aws/dafny@dbc369f

Triggered via pull request October 27, 2023 03:41

robin-aws

synchronize #34

github-issue-511

Status Failure

Total duration 12m 1s

Artifacts 1

refman.yml

on: pull_request

Matrix: build-refman

1 error

Process completed with exit code 1.

Produced during runtime

Name	Size
DafnyRef Expired	1.41 MB