github: deploy/push only from seL4 org

seL4 / seL4-CAmkES-L4v-dockerfiles

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

13 stars 40 forks source link

github: deploy/push only from seL4 org #59

Closed lsf37 closed 1 year ago

lsf37 commented 1 year ago

Forks won't have the necessary secrets set and shouldn't deploy to the trustworthysystems repo in any case.

Fixes #51

lsf37 commented 1 year ago

The build will likely be failing because it is running out of disk space (#58). I'd like to merge this first before I attempt to refactor so that not all jobs are built on the same runner.