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

Improvements to the CI Docker build #252

Merged
merged 1 commit into from
Sep 23, 2020
Merged

Improvements to the CI Docker build #252

merged 1 commit into from
Sep 23, 2020

Commits on Sep 23, 2020

  1. Improvements to the CI Docker build 

    This is a series of improvements that will help pave the way for a better CI build/deploy architecture in the future, potentially based on GitHub actions. In particular:

* Stop grabbing pdfsizeopt using git from outside the container. Instead, get it as part of the Dockerfile along with other dependencies.

* Avoid the multi-step PDF generation process, where we deploy to whatwg.org, point Prince at that, and then deploy the generated print.pdf to whatwg.org. Instead, we serve the built output inside the Docker container, use that to generate print.pdf, and deploy everything to whatwg.org in a single step.

* Update Prince from v11.3 to v13.5.

* Download only the .jar file for the validator, instead of the full package; we can let Docker handle installing Java.
    @domenic
    domenic committed Sep 23, 2020
    Configuration menu
    Copy the full SHA
    edb6ccc View commit details
    Browse the repository at this point in the history