Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
camkes-vm: avoid exception when BAMBOO is not set
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. Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
- Loading branch information