Update .github/workflows/ci.yaml
Update .github/workflows/ci.yaml

Co-authored-by: Sébastien Doeraene <2832a3611e91a3b35b084da8a16440b68c3bd8c7@gmail.com>
dotty-staging/dotty,sjrd/dotty,sjrd/dotty,lampepfl/dotty,lampepfl/dotty,dotty-staging/dotty,sjrd/dotty,dotty-staging/dotty,lampepfl/dotty,dotty-staging/dotty,lampepfl/dotty,dotty-staging/dotty,sjrd/dotty,sjrd/dotty,lampepfl/dotty