Nightly Dafny Core verification

Nightly Dafny Core verification #352

Sign in to view logs

Triggered via schedule December 29, 2023 10:21

davidcok

master

Status Failure

Total duration 7m 47s

Artifacts –

nightly.yml

on: schedule

Matrix: verification

Annotations

1 error

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

Process completed with exit code 1.