Minimal project demoing https://github.com/lampepfl/dotty/issues/11393
Latest commits.
Builders behind this project.
