search

seL4 / seL4-CAmkES-L4v-dockerfiles

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

Add github action workflow for superlinter #25

Closed LukeMondy closed 4 years ago

LukeMondy commented 4 years ago

Add github action workflow for superlinter

LukeMondy commented 4 years ago

Merged via: https://github.com/SEL4PROJ/seL4-CAmkES-L4v-dockerfiles/commit/b78f435a081ecf64ea8e214dd6a14e0d1cbd9133