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.

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

Include oxipng in CI #19

Merged
merged 1 commit into from
Dec 12, 2023
Merged

Include oxipng in CI #19

merged 1 commit into from
Dec 12, 2023

Conversation

Bromeon
Copy link
Member

@Bromeon Bromeon commented Dec 12, 2023

Runs the following command, which shrinks size of PNGs:

oxipng --strip safe --alpha -r src

See ReadMe for details about oxipng.

After that, a commit should be pushed to the same branch (of the PR). In the past I had some issues with permission to other people's branches, so might need some monitoring to see if it works.

@Bromeon Bromeon added the tooling CI, mdBook and other infrastructure label Dec 12, 2023
Update actions/checkout@v3 -> v4
@Bromeon Bromeon merged commit 2ee53e7 into master Dec 12, 2023
4 checks passed
@Bromeon Bromeon deleted the tool/oxipng branch December 12, 2023 21:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
tooling CI, mdBook and other infrastructure
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant