Jenkins: Also boot dev branch for pull requests targeting dev - Githubissues

CTSRD-CHERI / qemu

QEMU with support for CHERI

Other

54 stars 28 forks source link

Jenkins: Also boot dev branch for pull requests targeting dev #231

Closed arichardson closed 1 year ago