Revert "Jenkins: Boot the dev branch of CheriBSD for RISC-V"

CTSRD-CHERI / qemu

QEMU with support for CHERI

Other

54 stars 28 forks source link

Closed arichardson closed 1 year ago

arichardson commented 1 year ago

The main branch has been updated so this should work now.

This reverts commit 26e0295e1328e4ec8816af142ae1491399e7ed35.

PR for CI.