Skip to content

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

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 #19333

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

cla.yml

on: pull_request
Fit to window
Zoom out
Zoom in