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.

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

c18n: Autumn 2023 release #1653

Merged
merged 8 commits into from
Nov 1, 2023

c18n: Update man page

291af57
Select commit
Loading
Failed to load commit list.
Merged

c18n: Autumn 2023 release #1653

c18n: Update man page
291af57
Select commit
Loading
Failed to load commit list.
CHERI Jenkins / Jenkins succeeded Nov 1, 2023 in 2h 2m 21s

Success

Details

  • Set job properties (1.1 sec)
  • aarch64 (8.6 sec)
    • Checkout (40 sec)
    • Deleting outputs from previous builds (1 sec)
      • Copying required artifacts (22 sec)
        • extracting SDK archive: (9.3 sec)
        • WORKSPACE after checkout: (1.1 sec)
          • Build cheribsd-aarch64 (23 min)
            • Building with cheribuild on altera bluespec ctsrd-build-linux-d1 docker focal hol linux linux-lates (22 min)
      • Building disk images (24 sec)
        • Building full disk image (14 sec)
        • Building minimal disk image (8.8 sec)
      • Building MFS_ROOT kernels (2 min 24 sec)
        • Building MFS_ROOT disk image (8.1 sec)
        • Building MFS_ROOT kernels (2 min 14 sec)
      • Test setup (22 sec)
        • generate SSH key (1.2 sec)
      • Test aarch64 (1 min 41 sec)
        • Run aarch64 tests in QEMU (1 min 36 sec)
      • Building release images (7 min 59 sec)
        • Building release images (7 min 58 sec)
      • Archiving artifacts (9 min 3 sec)
        • Create metadata file (1.1 sec)
        • Compress kernel and images (1 min 51 sec)
        • Create sysroot archive (5 min 58 sec)
      • Record static analysis (10 min)
  • amd64 (1 ms)
    • Checkout (36 sec)
    • Deleting outputs from previous builds (4.5 sec)
      • Copying required artifacts (26 sec)
        • extracting SDK archive: (10 sec)
        • WORKSPACE after checkout: (2.2 sec)
          • Build cheribsd-amd64 (18 min)
            • Building with cheribuild on altera bluespec ctsrd-build-linux-j1 docker focal linux linux-latest li (18 min)
      • Building disk images (23 sec)
        • Building full disk image (15 sec)
        • Building minimal disk image (7.1 sec)
      • Test setup (21 sec)
        • generate SSH key (1 sec)
      • Test amd64 (1 min 6 sec)
        • Run amd64 tests in QEMU (1 min 4 sec)
      • Building release images (9 min 53 sec)
        • Building release images (9 min 52 sec)
      • Archiving artifacts (9 min 8 sec)
        • Create metadata file (1.1 sec)
        • Compress kernel and images (1 min 36 sec)
        • Create sysroot archive (6 min 5 sec)
      • Record static analysis (6 min 22 sec)
  • morello-hybrid (8.6 sec)
    • Checkout (56 sec)
    • Deleting outputs from previous builds (2.2 sec)
      • Copying required artifacts (31 sec)
        • extracting SDK archive: (16 sec)
        • WORKSPACE after checkout: (4.5 sec)
          • Build cheribsd-morello-hybrid (36 min)
            • Building with cheribuild on altera bionic bluespec ctsrd-build-linux-18 linux linux-baseline linux1 (36 min)
      • Building disk images (1 min 10 sec)
        • Building full disk image (54 sec)
        • Building minimal disk image (15 sec)
      • Building MFS_ROOT kernels (2 min 34 sec)
        • Building MFS_ROOT disk image (13 sec)
        • Building MFS_ROOT kernels (2 min 19 sec)
      • Test setup (21 sec)
        • generate SSH key (1.1 sec)
      • Test morello-hybrid hybrid kernel (2.2 sec)
        • Run morello-hybrid-hybrid-kernel tests in QEMU (10 min)
      • Test morello-hybrid purecap kernel (24 min)
        • Run morello-hybrid-purecap-kernel tests in QEMU (23 min)
      • Building release images (14 min)
        • Building release images (14 min)
      • Archiving artifacts (25 min)
        • Create metadata file (1.1 sec)
        • Compress kernel and images (5 min 8 sec)
        • Create sysroot archive (17 min)
      • Record static analysis (15 min)
  • morello-purecap (8.6 sec)
    • Checkout (40 sec)
    • Deleting outputs from previous builds (4.4 sec)
      • Copying required artifacts (21 sec)
        • extracting SDK archive: (7.9 sec)
        • WORKSPACE after checkout: (1.1 sec)
          • Build cheribsd-morello-purecap (28 min)
            • Building with cheribuild on altera bluespec ctsrd-build-linux-d1 docker focal hol linux linux-lates (28 min)
      • Building disk images (28 sec)
        • Building full disk image (19 sec)
        • Building minimal disk image (7.6 sec)
      • Building MFS_ROOT kernels (1 min 14 sec)
        • Building MFS_ROOT disk image (7.4 sec)
        • Building MFS_ROOT kernels (1 min 5 sec)
      • Test setup (21 sec)
        • generate SSH key (1.2 sec)
      • Test morello-purecap hybrid kernel (2.3 sec)
        • Run morello-purecap-hybrid-kernel tests in QEMU (5 min 2 sec)
      • Test morello-purecap purecap kernel (18 min)
        • Run morello-purecap-purecap-kernel tests in QEMU (18 min)
      • Building release images (11 min)
        • Building release images (11 min)
      • Archiving artifacts (15 min)
        • Create metadata file (1.1 sec)
        • Compress kernel and images (3 min 8 sec)
        • Create sysroot archive (10 min)
      • Record static analysis (13 min)
  • riscv64 (8.6 sec)
    • Checkout (35 sec)
    • Deleting outputs from previous builds (4.4 sec)
      • Copying required artifacts (26 sec)
        • extracting SDK archive: (10 sec)
        • WORKSPACE after checkout: (2.1 sec)
          • Build cheribsd-riscv64 (14 min)
            • Building with cheribuild on altera bluespec ctsrd-build-linux-j1 docker focal linux linux-latest li (14 min)
      • Building disk images (32 sec)
        • Building full disk image (20 sec)
        • Building minimal disk image (9.7 sec)
      • Building MFS_ROOT kernels (2 min 53 sec)
        • Building MFS_ROOT disk image (10 sec)
        • Building MFS_ROOT kernels (2 min 41 sec)
      • Test setup (24 sec)
        • generate SSH key (1.3 sec)
      • Test riscv64 (1 min 35 sec)
        • Run riscv64 tests in QEMU (1 min 32 sec)
      • Building release images (8 min 33 sec)
        • Building release images (8 min 32 sec)
      • Archiving artifacts (11 min)
        • Create metadata file (1.1 sec)
        • Compress kernel and images (3 min 6 sec)
        • Create sysroot archive (7 min 39 sec)
      • Record static analysis (6 min 27 sec)
  • riscv64-hybrid (8.6 sec)
    • Checkout (40 sec)
    • Deleting outputs from previous builds (4.4 sec)
      • Copying required artifacts (26 sec)
        • extracting SDK archive: (9 sec)
        • WORKSPACE after checkout: (3.3 sec)
          • Build cheribsd-riscv64-hybrid (26 min)
            • Building with cheribuild on altera bluespec ctsrd-build-linux-d1 docker focal hol linux linux-lates (26 min)
      • Building disk images (30 sec)
        • Building full disk image (22 sec)
        • Building minimal disk image (7.5 sec)
      • Building MFS_ROOT kernels (3 min 0 sec)
        • Building MFS_ROOT disk image (6.9 sec)
        • Building MFS_ROOT kernels (2 min 52 sec)
      • Test setup (21 sec)
        • generate SSH key (1.6 sec)
      • Test riscv64-hybrid hybrid kernel (2.3 sec)
        • Run riscv64-hybrid-hybrid-kernel tests in QEMU (3 min 25 sec)
      • Test riscv64-hybrid purecap kernel (7 min 16 sec)
        • Run riscv64-hybrid-purecap-kernel tests in QEMU (7 min 12 sec)
      • Building release images (7 min 36 sec)
        • Building release images (7 min 35 sec)
      • Archiving artifacts (16 min)
        • Create metadata file (1.1 sec)
        • Compress kernel and images (4 min 22 sec)
        • Create sysroot archive (10 min)
      • Record static analysis (12 min)
  • riscv64-purecap (1 hr 14 min)
    • Checkout (43 sec)
    • Deleting outputs from previous builds (2.2 sec)
      • Copying required artifacts (24 sec)
        • extracting SDK archive: (11 sec)
        • WORKSPACE after checkout: (5.5 sec)
          • Build cheribsd-riscv64-purecap (24 min)
            • Building with cheribuild on altera bluespec ctsrd-build-linux-j1 docker focal linux linux-latest li (23 min)
      • Building disk images (24 sec)
        • Building full disk image (18 sec)
        • Building minimal disk image (5.1 sec)
      • Building MFS_ROOT kernels (2 min 41 sec)
        • Building MFS_ROOT disk image (5.3 sec)
        • Building MFS_ROOT kernels (2 min 34 sec)
      • Test setup (21 sec)
        • generate SSH key (1.2 sec)
      • Test riscv64-purecap hybrid kernel (2.4 sec)
        • Run riscv64-purecap-hybrid-kernel tests in QEMU (3 min 57 sec)
      • Test riscv64-purecap purecap kernel (7 min 57 sec)
        • Run riscv64-purecap-purecap-kernel tests in QEMU (7 min 53 sec)
      • Building release images (8 min 57 sec)
        • Building release images (8 min 56 sec)
      • Archiving artifacts (16 min)
        • Create metadata file (1.2 sec)
        • Compress kernel and images (4 min 22 sec)
        • Create sysroot archive (10 min)
      • Record static analysis (12 min)