CTSRD-CHERI / qemu

QEMU with support for CHERI
Other
52 stars 28 forks source link

Jenkinsfile: Use unique boot job names for each branch #237

Closed jrtc27 closed 1 year ago

jrtc27 commented 1 year ago

Otherwise we overwrite other closures in the map and the last one for each architecture, kernel ABI and QEMU config wins (dev for dev and PRs to dev, releng/22.12 for other non-debug QEMU configs and main for other debug QEMU configs).