Repository navigation
cheri_exec: Remove always-true SV_CHERI condition - #2753
Merged
Merged
CHERI Jenkins / Jenkins
succeeded
Nov 11, 2026 in 1h 32m 46s
Success
Details
- Set job properties (3.1 sec)
- aarch64 (17 sec)
- Checkout (42 sec)
- Copying required artifacts (47 sec)
- Build cheribsd-aarch64 (17 min)
- Building disk images (37 sec)
- Building MFS_ROOT kernels (1 min 47 sec)
- Test setup (30 sec)
- Test aarch64 (2 min 1 sec)
- Building release images (11 min)
- Record static analysis (38 sec)
- amd64 (17 sec)
- Checkout (36 sec)
- Copying required artifacts (54 sec)
- Build cheribsd-amd64 (11 min)
- Building disk images (1 min 2 sec)
- Test setup (33 sec)
- Test amd64 (1 min 34 sec)
- Building release images (11 min)
- Record static analysis (37 sec)
- morello-hybrid (17 sec)
- Checkout (35 sec)
- Copying required artifacts (27 sec)
- Build cheribsd-morello-hybrid (29 min)
- Building disk images (44 sec)
- Building MFS_ROOT kernels (3 min 45 sec)
- Test setup (25 sec)
- Test morello-hybrid hybrid kernel (1 ms)
- Test morello-hybrid purecap kernel (7.1 sec)
- Test morello-hybrid purecap-benchmark kernel (12 min)
- Building release images (11 min)
- Record static analysis (50 sec)
- morello-purecap (1 ms)
- Checkout (48 sec)
- Copying required artifacts (33 sec)
- Build cheribsd-morello-purecap (32 min)
- Building disk images (1 min 0 sec)
- Building MFS_ROOT kernels (4 min 59 sec)
- Test setup (23 sec)
- Test morello-purecap hybrid kernel (7.1 sec)
- Test morello-purecap purecap kernel (7.1 sec)
- Test morello-purecap purecap-benchmark kernel (27 min)
- Building release images (20 min)
- Record static analysis (1 min 3 sec)
- riscv64 (17 sec)
- Checkout (40 sec)
- Copying required artifacts (47 sec)
- Build cheribsd-riscv64 (18 min)
- Building disk images (40 sec)
- Building MFS_ROOT kernels (2 min 24 sec)
- Test setup (23 sec)
- Test riscv64 (2 min 23 sec)
- Building release images (11 min)
- Record static analysis (35 sec)
- riscv64-hybrid (17 sec)
- Checkout (35 sec)
- Copying required artifacts (54 sec)
- Build cheribsd-riscv64-hybrid (19 min)
- Building disk images (1 min 20 sec)
- Building MFS_ROOT kernels (3 min 54 sec)
- Test setup (23 sec)
- Test riscv64-hybrid hybrid kernel (5.3 sec)
- Test riscv64-hybrid purecap kernel (9 min 3 sec)
- Building release images (11 min)
- Record static analysis (41 sec)
- riscv64-purecap (50 min)
- Checkout (30 sec)
- Copying required artifacts (35 sec)
- Build cheribsd-riscv64-purecap (20 min)
- Building disk images (48 sec)
- Building MFS_ROOT kernels (4 min 15 sec)
- Test setup (24 sec)
- Test riscv64-purecap hybrid kernel (5.1 sec)
- Test riscv64-purecap purecap kernel (10 min)
- Building release images (10 min)
- Record static analysis (39 sec)
Loading