Skip to content
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.

Sign up for GitHub

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

Jump to bottom

Automate publication of new documents #1224

Open
guusdk opened this issue Oct 13, 2022 · 3 comments
Open

Automate publication of new documents #1224

guusdk opened this issue Oct 13, 2022 · 3 comments
Labels
Editor Tooling Issue relates to process/tooling

Comments

@guusdk
Copy link
Contributor

guusdk commented Oct 13, 2022

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.
@Echolon
Copy link
Member

Echolon commented Oct 25, 2022 •
edited
Loading

Thank you Georg for the support!

  • Estimated workload: 15 h
  • Assumption: Knowledge of Github Automation, optimization to towards free tier of Github

@mwild1 mwild1 added the Editor Tooling Issue relates to process/tooling label Nov 4, 2022
@Millesimus
Copy link

Could runtime issues be mitigated by caching the image? I'm thinking of something like this: https://gist.github.com/UrsaDK/f90c9632997a70cfe2a6df2797731ac8

@singpolyma
Copy link
Contributor

What is the manual process in use right now?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
Editor Tooling Issue relates to process/tooling
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
5 participants
@singpolyma @mwild1 @guusdk @Echolon @Millesimus