-
Notifications
You must be signed in to change notification settings - Fork 1.1k
Update CI cache to avoid downloading artefacts #2290
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Comments
This is more important now that we upgraded to 2.11.11 |
I think that updating CI cache every month is too much of a hussle. |
We could add a hook that publishes the dotty-docker image to latest and some timestamp. That would solve it. |
Artifactory is relatively simple to set up. Here's a recent dump of our config: https://gist.github.com/SethTisue/4ef883260582d06f29ea3fb065f6fde9 |
@felixmulder @OlivierBlanvillain CI cache needs to be updated again after the switch to 2.12, not sure who's responsibility this is now :). |
Fixed in #3035. For future reference instructions to rebuild the docker image are in https://github.com/lampepfl/dotty-drone. |
http://dotty-ci.epfl.ch/lampepfl/dotty/1899/3 :
The text was updated successfully, but these errors were encountered: