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