Open guusdk opened 1 year ago
Thank you Georg for the support!
Could runtime issues be mitigated by caching the image? I'm thinking of something like this: https://gist.github.com/UrsaDK/f90c9632997a70cfe2a6df2797731ac8
What is the manual process in use right now?
Publishing new documents now requires manual docker build + push. We should probably move this to GitHub Actions + the GitHub registry, if feasible. Due to the complexity, we may run into CI runtime limits in the free tier though.