Update workflow to push to `scala/dotty.epfl.ch` instead of `lampepfl/dotty-website`#21602

Merged

hamzaremmal merged 1 commit intoscala:mainfrom hamzaremmal:update-dotty.epfl.ch

Sep 17, 2024

+3-11

Commits on Sep 17, 2024

Update workflow to push to scala/dotty.epfl.ch instead of lampepfl/dotty-website
hamzaremmal
committed