Skip to content

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

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

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

Triggered via push September 17, 2024 14:35
Status Success
Total duration 1m 35s
Artifacts

spec.yml

on: push
Fit to window
Zoom out
Zoom in