Skip to content

Nightly Dotty workflow of 2023-06-01 failed #17743

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
Closed
github-actions bot opened this issue Jun 1, 2023 · 3 comments · Fixed by #17744
Closed

Nightly Dotty workflow of 2023-06-01 failed #17743

github-actions bot opened this issue Jun 1, 2023 · 3 comments · Fixed by #17744
Labels
itype:bug prio:blocker
Milestone
3.4.0

Comments

@github-actions
Copy link
Contributor

github-actions bot commented Jun 1, 2023

See https://github.com/lampepfl/dotty/actions/runs/5139912892
@nicolasstucki
Copy link
Contributor

Probably caused by #17623

@nicolasstucki nicolasstucki mentioned this issue Jun 1, 2023
Merged
@nicolasstucki
Copy link
Contributor

Re-running test_windows_full to check if the failure was spurious.

@nicolasstucki
Copy link
Contributor

Failed again

nicolasstucki added a commit that referenced this issue Jun 1, 2023
@nicolasstucki
Revert #17623 (#17744)
fa22c9c 
Fixes #17743
[test_windows_full]
@Kordyjan Kordyjan added this to the 3.4.0 milestone Aug 2, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
itype:bug prio:blocker
Projects
None yet
Milestone
3.4.0
Development

Successfully merging a pull request may close this issue.

Revert #17623 dotty-staging/dotty
2 participants
@nicolasstucki @Kordyjan