tree fb3c3e5491a591ad9b9caaefac88f5c6840b5472
parent e3ec2e06749cc3c9219f136deeb08426fcc17c4e
author Gerwin Klein <gerwin.klein@proofcraft.systems> 1631498456 +1000
committer Gerwin Klein <gerwin@doclsf.de> 1631507518 +1000

github: style check on diff only for this repo

This repository is not yet fully style-clean, and the policy is to
update files as we touch them, not in one big go. Until we have reached
a fully style-clean state, we should check only the diff on push, not
all files.

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>