Update workflow to push to scala/dotty.epfl.ch instead of lampepfl/dotty-website
#5324
Triggered via pull request
September 17, 2024 13:18
hamzaremmal
Status
Success
Total duration
1m 31s
Artifacts
–