Nightly Dafny Core verification

Nightly Dafny Core verification #288

Sign in to view logs

Triggered via schedule October 26, 2023 10:19

davidcok

master

Status Failure

Total duration 22m 25s

Artifacts –

nightly.yml

on: schedule

Matrix: verification

Annotations

1 error

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

Process completed with exit code 1.