Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Bump __CheriBSD_version to 20241108 #2268

Merged
merged 1 commit into from
Dec 16, 2024

Bump __CheriBSD_version to 20241108

ae942c0
Select commit
Loading
Failed to load commit list.
Merged

Bump __CheriBSD_version to 20241108 #2268

Bump __CheriBSD_version to 20241108
ae942c0
Select commit
Loading
Failed to load commit list.
CHERI Jenkins / Jenkins succeeded Dec 16, 2024 in 1h 34m 9s

Success

Details

  • Set job properties (1.7 sec)
  • aarch64 (11 sec)
    • Checkout (27 sec)
    • Copying required artifacts (33 sec)
      • Build cheribsd-aarch64 (37 min)
    • Building disk images (43 sec)
    • Building MFS_ROOT kernels (2 min 15 sec)
    • Test setup (21 sec)
    • Test aarch64 (1 min 49 sec)
    • Building release images (18 min)
    • Record static analysis (38 sec)
  • amd64 (11 sec)
    • Checkout (26 sec)
    • Copying required artifacts (33 sec)
      • Build cheribsd-amd64 (19 min)
    • Building disk images (28 sec)
    • Test setup (31 sec)
    • Test amd64 (1 min 19 sec)
    • Building release images (10 min)
    • Record static analysis (38 sec)
  • morello-hybrid (11 sec)
    • Checkout (20 sec)
    • Copying required artifacts (26 sec)
      • Build cheribsd-morello-hybrid (1 hr 1 min)
    • Building disk images (29 sec)
    • Building MFS_ROOT kernels (1 min 45 sec)
    • Test setup (20 sec)
    • Test morello-hybrid hybrid kernel (4.3 sec)
    • Test morello-hybrid purecap kernel (4.3 sec)
    • Test morello-hybrid purecap-benchmark kernel (15 min)
    • Building release images (10 min)
    • Record static analysis (1 min 12 sec)
  • morello-purecap (11 sec)
    • Checkout (25 sec)
    • Copying required artifacts (27 sec)
      • Build cheribsd-morello-purecap (40 min)
    • Building disk images (29 sec)
    • Building MFS_ROOT kernels (1 min 37 sec)
    • Test setup (21 sec)
    • Test morello-purecap hybrid kernel (1 ms)
    • Test morello-purecap purecap kernel (4.7 sec)
    • Test morello-purecap purecap-benchmark kernel (18 min)
    • Building release images (20 min)
    • Record static analysis (1 min 5 sec)
  • riscv64 (11 sec)
    • Checkout (22 sec)
    • Copying required artifacts (33 sec)
      • Build cheribsd-riscv64 (16 min)
    • Building disk images (35 sec)
    • Building MFS_ROOT kernels (2 min 40 sec)
    • Test setup (30 sec)
    • Test riscv64 (1 min 58 sec)
    • Building release images (9 min 45 sec)
    • Record static analysis (37 sec)
  • riscv64-hybrid (11 sec)
    • Checkout (24 sec)
    • Copying required artifacts (25 sec)
      • Build cheribsd-riscv64-hybrid (41 min)
    • Building disk images (47 sec)
    • Building MFS_ROOT kernels (10 min)
    • Test setup (29 sec)
    • Test riscv64-hybrid hybrid kernel (2.9 sec)
    • Test riscv64-hybrid purecap kernel (9 min 34 sec)
    • Building release images (8 min 27 sec)
    • Record static analysis (48 sec)
  • riscv64-purecap (1 hr 15 min)
    • Checkout (27 sec)
    • Copying required artifacts (28 sec)
      • Build cheribsd-riscv64-purecap (41 min)
    • Building disk images (51 sec)
    • Building MFS_ROOT kernels (10 min)
    • Test setup (29 sec)
    • Test riscv64-purecap hybrid kernel (2.8 sec)
    • Test riscv64-purecap purecap kernel (10 min)
    • Building release images (8 min 41 sec)
    • Record static analysis (52 sec)
View more details on CHERI Jenkins