Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Nighty failed because a MacOS node timed out #5432

Closed
keyboardDrummer opened this issue May 13, 2024 · 2 comments
Closed

Nighty failed because a MacOS node timed out #5432

keyboardDrummer opened this issue May 13, 2024 · 2 comments
Labels
kind: language development speed Slows down development of Dafny the language, flaky tests priority: next Will consider working on this after in progress work is done

Comments

@keyboardDrummer
Copy link
Member

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

The job almost took 120m, which is when it times out.
@keyboardDrummer keyboardDrummer added kind: language development speed Slows down development of Dafny the language, flaky tests priority: next Will consider working on this after in progress work is done labels May 13, 2024
@fabiomadge
Copy link
Collaborator

https://github.com/dafny-lang/dafny/actions/runs/9176479820/job/25231851880

@keyboardDrummer
Copy link
Member Author

Resolved by #5535

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
kind: language development speed Slows down development of Dafny the language, flaky tests priority: next Will consider working on this after in progress work is done
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@fabiomadge @keyboardDrummer