Skip to content

Make dotty use scala-infra for CI.#591

Merged
odersky merged 5 commits intoscala:masterfrom
dotty-staging:scala-infra
May 20, 2015

Commits

Commits on May 19, 2015

Commits on May 20, 2015