search

seL4 / seL4-CAmkES-L4v-dockerfiles

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

github action for auto-deploying docker #49

Closed lsf37 closed 2 years ago

lsf37 commented 2 years ago

This auto-deploys the main docker containers (seL4, camkes, camkes-everything, l4v) to docker on push to master + once a week + on manual trigger.

This means pre-built caches, Google repo version etc should stay up to date automatically now.

When we have seen this working properly for some time, I'm planning to add a trigger for automatically rebuilding the ci-actions containers that are based on these here.

lsf37 commented 2 years ago

And it's finally working. It turns out that the test I wanted (doing a sel4test run) is already built in the the container build process, so this is actually complete already.