Skip to content

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

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

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

launchers.yml

on: pull_request
Deploy and Test on Linux x64 architecture
5m 13s
Deploy and Test on Linux x64 architecture
Deploy and Test on Linux ARM64 architecture
0s
Deploy and Test on Linux ARM64 architecture
Deploy and Test on Mac x64 architecture
11m 59s
Deploy and Test on Mac x64 architecture
Deploy and Test on Mac ARM64 architecture
4m 18s
Deploy and Test on Mac ARM64 architecture
Deploy and Test on Windows x64 architecture
7m 41s
Deploy and Test on Windows x64 architecture
Fit to window
Zoom out
Zoom in