Nicolas Giard
Nicolas Giard
> Just open adb folder > right click and open terminal > write "adb kill-server" and all be work. No it doesn't.
I'm not sure I understand the extra container image for assets? The assets can be stored outside the /workspace directory. That location can be mounted from the host as well....
GitHub doesn't have storage limits on public repos and our current image size is still very acceptable IMO. My issue was with having 20GB images generated nightly. I'm going to...
@rjsparks Fair point. I just see the assets as being on a different scale when it comes to size. @larseggert PR #4018 should address this issue.
Can you post the log file it points to with the error? It could be a missing native build dependency.
Yes, the volume is empty (apart from the all the directories created from the container init script). We could provide a prepopulated image as well, but that would be for...
Maybe we could include only the assets from the past X month(s) in the image? And if you need everything, you can rsync the rest? Is there an easy way...
I see several issues with including everything in an image: - From what I read, Docker has a default image size limit of 10GB. While it can be increased, you...
@larseggert As expected, the docker build process runs out of space during rsync and crash: https://github.com/ietf-tools/datatracker/actions/runs/2441032900
That wouldn't work as you can't extend from multiple images at once. Using a volume is really the proper way to go here...