[CI] make pre-commit hooks to run on every push instead of every commit#8888
Merged
jroesch merged 1 commit intoapache:mainfrom Aug 31, 2021
Merged
[CI] make pre-commit hooks to run on every push instead of every commit#8888jroesch merged 1 commit intoapache:mainfrom
jroesch merged 1 commit intoapache:mainfrom
