Update workflow to push to scala/dotty.epfl.ch instead of lampepfl/dotty-website#21602
Merged
hamzaremmal merged 1 commit intoscala:mainfrom Sep 17, 2024
scala/dotty.epfl.ch instead of lampepfl/dotty-website#21602