Nightly Dotty workflow of 2022-11-18 failed #16367

Closed

Closed

Nightly Dotty workflow of 2022-11-18 failed#16367

Assignees

Labels

itype:bugprio:blocker

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

Metadata

Assignees

nicolasstucki

Labels

itype:bugprio:blocker

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests