allow other manifests in l4v-deploy

seL4 / ci-actions

CI GitHub actions for the seL4 repositories

https://sel4.systems

3 stars 13 forks source link

allow other manifests in l4v-deploy #357

Closed lsf37 closed 3 months ago

lsf37 commented 3 months ago

Add mechanism for deploying after preprocess and after proof test to manifests other than devel.xml/default.xml. Currently only mcs-devel.xml/mcs.xml are allowed.