search

seL4 / seL4-CAmkES-L4v-dockerfiles

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

github: bump action versions to node20 #66

Closed lsf37 closed 7 months ago

lsf37 commented 7 months ago

GitHub has started issuing warnings for node16 actions.