search

seL4 / ci-actions

CI GitHub actions for the seL4 repositories
https://sel4.systems
3 stars 13 forks source link

camkes-vm: avoid exception when BAMBOO is not set #362

Closed lsf37 closed 2 months ago

lsf37 commented 2 months ago

Since we are enumerating builds, it is possible that BAMBOO is not set, leading to an exception when deleting this (unused) key. Therefore check for presence before deleting.

(#361 broke the camkes-vm build because of this)

lsf37 commented 2 months ago

Are there other scripts here that also do this unconditionally, too?

At least none have failed yet, but you're right I should have a look at that.