Investigate if linter can be PR scoped

seL4 / seL4-CAmkES-L4v-dockerfiles

Dockerfiles defining the dependencies required to build seL4, CAmkES, and L4v.

12 stars 39 forks source link

Closed lsf37 closed 3 years ago

lsf37 commented 3 years ago

The linter complains about unrelated scripts in PRs.

Investigate if we can pass a list of changed files instead.

lsf37 commented 3 years ago

In fact, that should be super easy. PR coming up.