xeps
xeps copied to clipboard
Automate publication of new documents
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.
Thank you Georg for the support!
- Estimated workload: 15 h
- Assumption: Knowledge of Github Automation, optimization to towards free tier of Github
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?