Skip to content

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

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

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

This job succeeded