Nightly Dotty workflow of 2024-01-12 failed #19427

Closed

Closed

Nightly Dotty workflow of 2024-01-12 failed#19427

Assignees

Labels

itype:bugprio:blocker

Milestone

bot

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

Metadata

Assignees

jchyb

Labels

itype:bugprio:blocker

Type

No type

Projects

No projects

Milestone

3.4.1

Relationships

None yet

Development

No branches or pull requests