username pushed to master at username/ppf

username
Wed, 18 Feb 2026 17:34:57 +0000

7705ef54f6cc26ae2caf40deddf94fbdc6055222 ci: run syntax-check in container (fix missing git)