Nightly Dafny Core verification

Nightly Dafny Core verification #289

Sign in to view logs

Triggered via schedule October 27, 2023 10:19

davidcok

master

Status Failure

Total duration 22m 39s

Artifacts –

nightly.yml

on: schedule

Matrix: verification

Annotations

1 error

verification (nightly-latest) / reusable_verification (ubuntu-latest)

Process completed with exit code 1.