Skip to content

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

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

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

Triggered via push September 17, 2024 14:35
Status Success
Total duration 1m 29s
Artifacts
Update Dependency Graph
1m 20s
Update Dependency Graph
Fit to window
Zoom out
Zoom in