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