search

seL4 / seL4-CAmkES-L4v-dockerfiles

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

github: split build into separate jobs #60

Closed lsf37 closed 1 year ago

lsf37 commented 1 year ago

This will hopefully avoid that the underlying GitHub runner runs out of disk space.

lsf37 commented 1 year ago

Rebased and added the requested rename. The test deployment worked so this does fix the out of disk problem.

I still need to address the same problem on the pull request build. I'll try something similar there, although on the PR we can't pull a previously pushed image, because we're not deploying anything.

lsf37 commented 1 year ago

Ok, have added a similar split for the PR action. This in now ready for review.