Skip to content

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

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

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

Triggered via pull request September 17, 2024 13:18
Status Success
Total duration 16m 34s
Artifacts

scaladoc.yaml

on: pull_request
build
16m 26s
build
stdlib-sourcelinks-test
0s
stdlib-sourcelinks-test
Fit to window
Zoom out
Zoom in