github: update `latest` tag on docker push

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 2 years ago

lsf37 commented 2 years ago

Had previously assumed the latest tag was automatic, but it turns out it is not.