Skip to content

community-docs CI is using the non-bootstrapped library #11076

@nicolasstucki

Description

@nicolasstucki

community-docs CI is using the non-bootstrapped library. It must use the bootstrapped version of the library.

This was seen in https://github.com/lampepfl/dotty/pull/11074/checks?check_run_id=1689298098 where one of the methods was implemented ??? only on the non-bootstrapped.

Metadata

Metadata

Assignees

Type

No type

Projects

No projects

Milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions