Jenkins: Also boot dev branch for pull requests targeting dev #231
CHERI Jenkins / Tests / linux-debug / Boot CheriBSD (linux-debug) / riscv64 on linux-debug
succeeded
Jul 31, 2023 in 0s
passed: 7
Send us feedback
Details
Loading
Send us feedback