Skip to content

Push Docker Image on Build#1696

Open
ziyong-was-taken wants to merge 1 commit into
tonsky:masterfrom
ziyong-was-taken:docker-build
Open

Push Docker Image on Build#1696
ziyong-was-taken wants to merge 1 commit into
tonsky:masterfrom
ziyong-was-taken:docker-build

Conversation

@ziyong-was-taken

Copy link
Copy Markdown

As recommended by Docker, this uses a personal access token for authentication.

I've also used a more descriptive tag name.

Closes #1653.

@PuneethM-06 PuneethM-06 left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@mfocko

mfocko commented Jul 12, 2026

Copy link
Copy Markdown
Contributor

What’s the point of this? The workflow is supposed to build the font. I don’t really see any benefit in publishing the image?

@ziyong-was-taken

ziyong-was-taken commented Jul 12, 2026

Copy link
Copy Markdown
Author

What’s the point of this? The workflow is supposed to build the font. I don’t really see any benefit in publishing the image?

As it stands, the current Docker image is very outdated, such that the current Docker build instructions fail (see the linked issue). Having it be part of the build process means the Docker image will always be up to date.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Failed custom build using Docker

3 participants