]> git.ipfire.org Git - thirdparty/google/fonts.git/commitdiff
Merge pull request #5832 from google/ci-refactor
authorMarc Foley <m.foley.88@gmail.com>
Thu, 26 Jan 2023 13:12:22 +0000 (13:12 +0000)
committerGitHub <noreply@github.com>
Thu, 26 Jan 2023 13:12:22 +0000 (13:12 +0000)
.ci/run.sh: rewrite in python


Trivial merge