dafny icon indicating copy to clipboard operation
dafny copied to clipboard

Published 20 hours ago • verified publisher icon dafny-lang

Nighty failed because a MacOS node timed out

Open keyboardDrummer opened this issue 1 year ago • 0 comments

https://github.com/dafny-lang/dafny/actions/runs/9064782607/job/24903792744

The job almost took 120m, which is when it times out.

keyboardDrummer avatar May 13 '24 18:05 keyboardDrummer