seL4 / seL4_libs

No-assurance libraries for rapid-prototyping of seL4 apps.
https://docs.sel4.systems
Other
52 stars 62 forks source link

github: style check on diff only for this repo #45

Closed lsf37 closed 2 years ago

lsf37 commented 2 years ago

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.