Nightly Dafny Core verification

Nightly Dafny Core verification #291

Sign in to view logs

Triggered via schedule October 29, 2023 10:18

davidcok

master

Status Failure

Total duration 25m 39s

Artifacts –

nightly.yml

on: schedule

Matrix: verification

Annotations

1 error

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

Process completed with exit code 1.