Update workflow to push to scala/dotty.epfl.ch instead of lampepfl/dotty-website
#32477
| Job | Run time |
|---|---|
| 50m 47s | |
| 0s | |
| 0s | |
| 27m 35s | |
| 49m 43s | |
| 10m 58s | |
| 1h 16m 58s | |
| 59m 52s | |
| 0s | |
| 18m 23s | |
| 0s | |
| 0s | |
| 8m 10s | |
| 19s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 5h 2m 45s |