Skip to content
Back to pull request #6065

Fix CoinductiveProofs.dfy granularity #4384

Sign in to view logs

Fix CoinductiveProofs.dfy granularity

Fix CoinductiveProofs.dfy granularity #4384

Triggered via pull request January 22, 2025 14:07
@keyboardDrummerkeyboardDrummer
synchronize #6065
keyboardDrummer:fixPerformanceTest
Status Failure
Total duration 52m 5s
Artifacts –

standard-libraries.yml

on: pull_request
check-deep-tests  /  check-deep-tests
7s
check-deep-tests / check-deep-tests
build
14m 18s
build
Fit to window
Zoom out
Zoom in

Annotations

1 error
check-deep-tests / check-deep-tests
Last run of nightly-build.yml did not succeed: https://github.com/dafny-lang/dafny/actions/runs/12889220651 A run of nightly-build.yml is currently queued: https://github.com/dafny-lang/dafny/actions/runs/12909923953, just re-run this test once it is finished.