search

seL4 / seL4-CAmkES-L4v-dockerfiles

Dockerfiles defining the dependencies required to build seL4, CAmkES, and L4v.
12 stars 39 forks source link

github: update linter version #48

Closed lsf37 closed 2 years ago

lsf37 commented 2 years ago

It looks like v3 isn't working properly any more

axel-h commented 2 years ago

Seems we are still running out of disk space, it saysApplyLayer exit status 1 stdout: stderr: write /usr/bin/vptovf: no space left on device. Seem not really related to the changes, is this what https://github.com/seL4/seL4-CAmkES-L4v-dockerfiles/pull/47 is supposed to fix?

lsf37 commented 2 years ago

Seems we are still running out of disk space, it saysApplyLayer exit status 1 stdout: stderr: write /usr/bin/vptovf: no space left on device. Seem not really related to the changes, is this what #47 is supposed to fix?

Yes, #47 should fix this.