search

seL4 / seL4-CAmkES-L4v-dockerfiles

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

github: send repository-dispatch after deployment #86

Closed lsf37 closed 2 months ago

lsf37 commented 2 months ago

Send a repository-dispatch trigger to the ci-actions repo after deployment is finished, so that the CI containers get rebuilt on the new version.

Should be merged after https://github.com/seL4/ci-actions/pull/356

lsf37 commented 2 months ago

Ideally we should merge this before #85 so we get an automatic CI update for that.