Skip to content

Nightly Dafny Core verification #708

Nightly Dafny Core verification

Nightly Dafny Core verification #708

Triggered via schedule December 19, 2024 10:26
Status Failure
Total duration 12m 21s
Artifacts

nightly.yml

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

Annotations

2 errors and 2 warnings
verification (nightly-latest) / reusable_verification (ubuntu-latest)
The type or namespace name 'Abs' does not exist in the namespace 'Math' (are you missing an assembly reference?)
verification (nightly-latest) / reusable_verification (ubuntu-latest)
Process completed with exit code 1.
verification (nightly-latest) / reusable_verification (ubuntu-latest)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636