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

Jump to bottom

caprevoke fork fixes #1724

Merged
merged 15 commits into from
Jul 6, 2023

Test finishing a revoke epoch after fork

db2ac6a
Select commit
Loading
Failed to load commit list.
Merged

caprevoke fork fixes #1724

Test finishing a revoke epoch after fork
db2ac6a
Select commit
Loading
Failed to load commit list.
CHERI Jenkins / Jenkins succeeded Jul 5, 2023 in 2h 42m 30s

Success

Details

  • Set job properties (1.6 sec)
  • aarch64 (12 sec)
    • Checkout (1 min 14 sec)
    • Deleting outputs from previous builds (1.6 sec)
      • Copying required artifacts (27 sec)
        • extracting SDK archive: (19 sec)
        • WORKSPACE after checkout: (1.5 sec)
          • Build cheribsd-aarch64 (1 hr 2 min)
            • Building with cheribuild on altera bionic bluespec ctsrd-build-linux-18 linux linux-baseline linux1 (1 hr 2 min)
      • Building disk images (2 min 46 sec)
        • Building full disk image (2 min 23 sec)
        • Building minimal disk image (21 sec)
      • Building MFS_ROOT kernels (8 min 3 sec)
        • Building MFS_ROOT disk image (20 sec)
        • Building MFS_ROOT kernels (7 min 41 sec)
      • Test setup (24 sec)
        • generate SSH key (1.6 sec)
      • Test aarch64 (3 min 47 sec)
        • Run aarch64 tests in QEMU (3 min 43 sec)
      • Building release images (22 min)
        • Building release images (22 min)
      • Record static analysis (13 min)
  • amd64 (12 sec)
    • Checkout (28 sec)
    • Deleting outputs from previous builds (1.6 sec)
      • Copying required artifacts (25 sec)
        • extracting SDK archive: (12 sec)
        • WORKSPACE after checkout: (1.5 sec)
          • Build cheribsd-amd64 (24 min)
            • Building with cheribuild on altera bluespec ctsrd-build-linux-d1 docker focal hol linux linux-lates (24 min)
      • Building disk images (33 sec)
        • Building full disk image (22 sec)
        • Building minimal disk image (9.3 sec)
      • Test setup (23 sec)
        • generate SSH key (1.6 sec)
      • Test amd64 (1 min 47 sec)
        • Run amd64 tests in QEMU (1 min 43 sec)
      • Building release images (16 min)
        • Building release images (16 min)
      • Record static analysis (3 min 13 sec)
  • morello-hybrid (12 sec)
    • Checkout (1 min 4 sec)
    • Deleting outputs from previous builds (1.6 sec)
      • Copying required artifacts (24 sec)
        • extracting SDK archive: (15 sec)
        • WORKSPACE after checkout: (3.2 sec)
          • Build cheribsd-morello-hybrid (1 hr 26 min)
            • Building with cheribuild on altera bionic bluespec ctsrd-build-linux-18 linux linux-baseline linux1 (1 hr 26 min)
      • Building disk images (2 min 37 sec)
        • Building full disk image (2 min 12 sec)
        • Building minimal disk image (20 sec)
      • Building MFS_ROOT kernels (5 min 46 sec)
        • Building MFS_ROOT disk image (11 sec)
        • Building MFS_ROOT kernels (5 min 31 sec)
      • Test setup (24 sec)
        • generate SSH key (1.6 sec)
      • Test morello-hybrid hybrid kernel (3.1 sec)
        • Run morello-hybrid-hybrid-kernel tests in QEMU (11 min)
      • Test morello-hybrid purecap kernel (11 min)
        • Run morello-hybrid-purecap-kernel tests in QEMU (11 min)
      • Building release images (14 min)
        • Building release images (14 min)
      • Record static analysis (15 min)
  • morello-purecap (1 ms)
    • Checkout (18 sec)
    • Deleting outputs from previous builds (1.5 sec)
      • Copying required artifacts (18 sec)
        • extracting SDK archive: (8.7 sec)
        • WORKSPACE after checkout: (1.5 sec)
          • Build cheribsd-morello-purecap (39 min)
            • Building with cheribuild on altera bluespec ctsrd-build-linux-d1 docker focal hol linux linux-lates (39 min)
      • Building disk images (26 sec)
        • Building full disk image (18 sec)
        • Building minimal disk image (5.5 sec)
      • Building MFS_ROOT kernels (2 min 41 sec)
        • Building MFS_ROOT disk image (4.3 sec)
        • Building MFS_ROOT kernels (2 min 35 sec)
      • Test setup (23 sec)
        • generate SSH key (1.5 sec)
      • Test morello-purecap hybrid kernel (3.1 sec)
        • Run morello-purecap-hybrid-kernel tests in QEMU (4 min 55 sec)
      • Test morello-purecap purecap kernel (4 min 55 sec)
        • Run morello-purecap-purecap-kernel tests in QEMU (4 min 45 sec)
      • Building release images (14 min)
        • Building release images (14 min)
      • Record static analysis (3 min 21 sec)
  • riscv64 (12 sec)
    • Checkout (19 sec)
    • Deleting outputs from previous builds (1.7 sec)
      • Copying required artifacts (26 sec)
        • extracting SDK archive: (15 sec)
        • WORKSPACE after checkout: (3.2 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 (27 sec)
        • Building full disk image (19 sec)
        • Building minimal disk image (6.3 sec)
      • Building MFS_ROOT kernels (2 min 31 sec)
        • Building MFS_ROOT disk image (5.4 sec)
        • Building MFS_ROOT kernels (2 min 23 sec)
      • Test setup (23 sec)
        • generate SSH key (1.5 sec)
      • Test riscv64 (2 min 10 sec)
        • Run riscv64 tests in QEMU (2 min 6 sec)
      • Building release images (25 min)
        • Building release images (25 min)
      • Record static analysis (5 min 53 sec)
  • riscv64-hybrid (12 sec)
    • Checkout (1 min 2 sec)
    • Deleting outputs from previous builds (2.3 sec)
      • Copying required artifacts (29 sec)
        • extracting SDK archive: (19 sec)
        • WORKSPACE after checkout: (3.3 sec)
          • Build cheribsd-riscv64-hybrid (1 hr 34 min)
            • Building with cheribuild on altera bionic bluespec ctsrd-build-linux-18 linux linux-baseline linux1 (1 hr 34 min)
      • Building disk images (2 min 43 sec)
        • Building full disk image (2 min 19 sec)
        • Building minimal disk image (21 sec)
      • Building MFS_ROOT kernels (10 min)
        • Building MFS_ROOT disk image (14 sec)
        • Building MFS_ROOT kernels (10 min)
      • Test setup (23 sec)
        • generate SSH key (1.5 sec)
      • Test riscv64-hybrid hybrid kernel (1 ms)
        • Run riscv64-hybrid-hybrid-kernel tests in QEMU (8 min 16 sec)
      • Test riscv64-hybrid purecap kernel (18 min)
        • Run riscv64-hybrid-purecap-kernel tests in QEMU (18 min)
      • Building release images (14 min)
        • Building release images (14 min)
      • Record static analysis (18 min)
  • riscv64-purecap (1 hr 18 min)
    • Checkout (30 sec)
    • Deleting outputs from previous builds (1.6 sec)
      • Copying required artifacts (20 sec)
        • extracting SDK archive: (10 sec)
        • WORKSPACE after checkout: (1.6 sec)
          • Build cheribsd-riscv64-purecap (44 min)
            • Building with cheribuild on altera bluespec ctsrd-build-linux-d1 docker focal hol linux linux-lates (44 min)
      • Building disk images (26 sec)
        • Building full disk image (20 sec)
        • Building minimal disk image (3.8 sec)
      • Building MFS_ROOT kernels (4 min 1 sec)
        • Building MFS_ROOT disk image (3.9 sec)
        • Building MFS_ROOT kernels (3 min 56 sec)
      • Test setup (24 sec)
        • generate SSH key (1.6 sec)
      • Test riscv64-purecap hybrid kernel (3.2 sec)
        • Run riscv64-purecap-hybrid-kernel tests in QEMU (3 min 15 sec)
      • Test riscv64-purecap purecap kernel (7 min 54 sec)
        • Run riscv64-purecap-purecap-kernel tests in QEMU (7 min 48 sec)
      • Building release images (9 min 35 sec)
        • Building release images (9 min 33 sec)
      • Record static analysis (9 min 58 sec)
View more details on CHERI Jenkins