Nightly Dotty workflow of 2022-06-16 failed #15456

Closed

Closed

Nightly Dotty workflow of 2022-06-16 failed#15456

Labels

itype:bugprio:blocker

Milestone

bot

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

Metadata

Assignees

No one assigned

Labels

itype:bugprio:blocker

Type

No type

Projects

No projects

Milestone

3.2.1

Relationships

None yet

Development

No branches or pull requests