search

seL4 / seL4-CAmkES-L4v-dockerfiles

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

deploy action is running out of disk space #58

Closed lsf37 closed 1 year ago

lsf37 commented 1 year ago

The scheduled docker build+deploy action has been failing the last 3 cycles.

This first looked like a problem with the docker setup itself, because it was complaining of running out of space inside the container, but it turns out that it is actually the GitHub runner VM that is running out of space. It seems that the sum of all pulled images + installs is more than the runners have available.

I can see two options forward:

  1. move the action to an AWS VM that has more local disk space
  2. split up the action into two separate workflows so that the runner VM can recover disk space in between. That would hopefully be enough.
lsf37 commented 1 year ago

Looks like https://github.com/seL4/seL4-CAmkES-L4v-dockerfiles/commit/56d6182c70167061beda302917e4d9acf4b79d5f has fixed the issue.