Skip to content

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

Update workflow to push to scala/dotty.epfl.ch instead of `lampepfl…

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

Triggered via push September 17, 2024 14:35
Status Success
Total duration 51s
Artifacts
add-to-backporting-project
42s
add-to-backporting-project
Fit to window
Zoom out
Zoom in