]> git.ipfire.org Git - thirdparty/google/fonts.git/commitdiff
Merge pull request #9538 from google/split-ci
authorMarc Foley <m.foley.88@gmail.com>
Fri, 6 Jun 2025 11:09:46 +0000 (12:09 +0100)
committerGitHub <noreply@github.com>
Fri, 6 Jun 2025 11:09:46 +0000 (12:09 +0100)
ci: Move pushlists into its own workflow


Trivial merge