Skip to content

Update workflow to push to scala/dotty.epfl.ch instead of lampepfl/dotty-website #770

Update workflow to push to scala/dotty.epfl.ch instead of lampepfl/dotty-website

Update workflow to push to scala/dotty.epfl.ch instead of lampepfl/dotty-website #770