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

Closed

Closed

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

Assignees

Labels

itype:bugprio:blocker

Milestone

bot

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

Metadata

Assignees

dwijnand

Labels

itype:bugprio:blocker

Type

No type

Projects

No projects

Milestone

3.1.1

Relationships

None yet

Development

No branches or pull requests