issues
search
seL4
/
seL4-CAmkES-L4v-dockerfiles
Dockerfiles defining the dependencies required to build seL4, CAmkES, and L4v.
13
stars
40
forks
source link
github: linter action tweaks
#52
Closed
lsf37
closed
2 years ago
lsf37
commented
2 years ago
use checkout action v3 as in super-linter docs
clone with full history, so that diffs work
use slim image, because we're not using any of the linters not present there
This might fix the issues observed in #50
This might fix the issues observed in #50