tree 5edfcfc43f0c26c95d0cb80e430ee7571a35f08e
parent 5b268cceca13d5ba0f16bee624e3973d46ba8f30
author Gerwin Klein <gerwin.klein@proofcraft.systems> 1631498128 +1000
committer Gerwin Klein <gerwin@doclsf.de> 1631507498 +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>