Skip to content

Update workflow to push to scala/dotty.epfl.ch instead of `lampepfl… #5325

Update workflow to push to scala/dotty.epfl.ch instead of `lampepfl…

Update workflow to push to scala/dotty.epfl.ch instead of `lampepfl… #5325