Skip to content

Nightly Dafny Core verification #616

Nightly Dafny Core verification

Nightly Dafny Core verification #616

Triggered via schedule September 18, 2024 10:25
Status Failure
Total duration 13s
Artifacts

nightly.yml

on: schedule
Matrix: verification
Fit to window
Zoom out
Zoom in

Annotations

1 error
verification (nightly-latest) / reusable_verification (ubuntu-latest)
This request has been automatically failed because it uses a deprecated version of `actions/upload-artifact: v2`. Learn more: https://github.blog/changelog/2024-02-13-deprecation-notice-v1-and-v2-of-the-artifact-actions/