Update workflow to push to scala/dotty.epfl.ch
instead of lampepfl/dotty-website
#770
Job | Run time |
---|---|
0s | |
5m 13s | |
4m 18s | |
11m 59s | |
7m 41s | |
29m 11s |
scala/dotty.epfl.ch
instead of lampepfl/dotty-website
#770
Job | Run time |
---|---|
0s | |
5m 13s | |
4m 18s | |
11m 59s | |
7m 41s | |
29m 11s |