Skip to content

Nightly Dotty workflow of 2021-09-02 failed #13444

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 Sep 2, 2021 · 1 comment · Fixed by #13459
Closed

Nightly Dotty workflow of 2021-09-02 failed #13444

github-actions bot opened this issue Sep 2, 2021 · 1 comment · Fixed by #13459
Assignees
@dwijnand
Labels
itype:bug prio:blocker
Milestone
3.1.1

Comments

@github-actions
Copy link
Contributor

github-actions bot commented Sep 2, 2021

See https://github.com/lampepfl/dotty/actions/runs/1192643163
@dwijnand dwijnand self-assigned this Sep 2, 2021
@dwijnand
Copy link
Member

dwijnand commented Sep 2, 2021

Should be fixed with #13445, we'll confirm tomorrow.

@griggt griggt mentioned this issue Sep 3, 2021
Merged
@Kordyjan Kordyjan added this to the 3.1.1 milestone Aug 2, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@dwijnand dwijnand

Labels
itype:bug prio:blocker
Projects
None yet
Milestone
3.1.1
Development

Successfully merging a pull request may close this issue.

Fix and reinstate repl/errmsgs dwijnand/scala3
2 participants
@dwijnand @Kordyjan