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