multi-arch: prune old images, fix typo

seL4 / seL4-CAmkES-L4v-dockerfiles

Dockerfiles defining the dependencies required to build seL4, CAmkES, and L4v.

12 stars 39 forks source link

Closed lsf37 closed 4 months ago

lsf37 commented 4 months ago

prune old images on self-hosted runner to make sure we're not starting from something stale
fix typos in arm64/amd64