Skip to content

Nightly Dotty workflow of 2022-08-04 failed #15818

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.

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

Closed
github-actions bot opened this issue Aug 4, 2022 · 3 comments
Closed

Nightly Dotty workflow of 2022-08-04 failed #15818

github-actions bot opened this issue Aug 4, 2022 · 3 comments

Comments

@github-actions
Copy link
Contributor

github-actions bot commented Aug 4, 2022

See https://github.com/lampepfl/dotty/actions/runs/2793953681

@ckipp01
Copy link
Member

ckipp01 commented Aug 4, 2022

btw I see this is requests failing and I've seen other com-lihayoi repos failing a bit in the c community build. I've recently updated all of those repos that are in the community build. Once com-lihaoyi/cask#71 is merged in I'll finish up #15732 and bump all those repos listed there, which should help this.

@WojciechMazur
Copy link
Contributor

Build failed due to timeouts in some of the com-lihayoi/requests tests referencing site https://httpbin.org - the website was probably down when executing the tests.

@WojciechMazur
Copy link
Contributor

The failing build passed after a manual retry.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

2 participants