Skip to content

Actions: IBM/ACE-RISCV

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
546 workflow runs
546 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Initial formal verification results ACE Build #200: Pull request #69 synchronize by lgaeher
July 16, 2024 17:54 48m 47s lgaeher:ci/lennard/verification
lgaeher:ci/lennard/verification
July 16, 2024 17:54 48m 47s
Initial formal verification results Verification tests #327: Pull request #69 synchronize by lgaeher
July 16, 2024 13:31 41m 51s lgaeher:ci/lennard/verification
lgaeher:ci/lennard/verification
July 16, 2024 13:31 41m 51s
Initial formal verification results ACE Build #199: Pull request #69 synchronize by lgaeher
July 16, 2024 13:31 48m 49s lgaeher:ci/lennard/verification
lgaeher:ci/lennard/verification
July 16, 2024 13:31 48m 49s
Initial formal verification results Verification tests #326: Pull request #69 synchronize by lgaeher
July 16, 2024 13:30 42m 43s lgaeher:ci/lennard/verification
lgaeher:ci/lennard/verification
July 16, 2024 13:30 42m 43s
Initial formal verification results ACE Build #198: Pull request #69 synchronize by lgaeher
July 16, 2024 13:30 49m 11s lgaeher:ci/lennard/verification
lgaeher:ci/lennard/verification
July 16, 2024 13:30 49m 11s
Initial formal verification results ACE Build #197: Pull request #69 opened by lgaeher
July 12, 2024 14:01 48m 8s lgaeher:ci/lennard/verification
lgaeher:ci/lennard/verification
July 12, 2024 14:01 48m 8s
Initial formal verification results Verification tests #325: Pull request #69 opened by lgaeher
July 12, 2024 14:01 41m 31s lgaeher:ci/lennard/verification
lgaeher:ci/lennard/verification
July 12, 2024 14:01 41m 31s
Cleaning (#68) ACE Build #196: Commit 3d46c7f pushed by wojciechozga
June 24, 2024 18:39 49m 37s main
main
June 24, 2024 18:39 49m 37s
Cleaning (#68) Verification tests #324: Commit 3d46c7f pushed by wojciechozga
June 24, 2024 18:39 38m 45s main
main
June 24, 2024 18:39 38m 45s
Cleaning up ACE Build #195: Pull request #68 opened by wojciechozga
June 24, 2024 13:09 48m 48s woz/ref
woz/ref
June 24, 2024 13:09 48m 48s
Cleaning up Verification tests #323: Pull request #68 opened by wojciechozga
June 24, 2024 13:09 39m 6s woz/ref
woz/ref
June 24, 2024 13:09 39m 6s
Cleaning Verification tests #322: Commit 1eb612b pushed by wojciechozga
June 24, 2024 13:08 39m 28s woz/ref
woz/ref
June 24, 2024 13:08 39m 28s
Measure confidential VM during promotion (#67) Verification tests #321: Commit 74179b1 pushed by wojciechozga
June 19, 2024 15:59 38m 57s main
main
June 19, 2024 15:59 38m 57s
Measure confidential VM during promotion (#67) ACE Build #194: Commit 74179b1 pushed by wojciechozga
June 19, 2024 15:59 49m 14s main
main
June 19, 2024 15:59 49m 14s
Measure confidential VM during promotion ACE Build #193: Pull request #67 opened by wojciechozga
June 19, 2024 15:02 50m 6s attestation
attestation
June 19, 2024 15:02 50m 6s
Measure confidential VM during promotion Verification tests #320: Pull request #67 opened by wojciechozga
June 19, 2024 15:02 39m 8s attestation
attestation
June 19, 2024 15:02 39m 8s
Updating Linux kernel patch to remove rnd-seed from fdt Verification tests #319: Commit 3d64a58 pushed by wojciechozga
June 19, 2024 14:58 38m 48s attestation
attestation
June 19, 2024 14:58 38m 48s
Added comments to the page table structures Verification tests #318: Commit db85bae pushed by wojciechozga
June 19, 2024 13:42 41m 31s attestation
attestation
June 19, 2024 13:42 41m 31s
Simplified page table configuration Verification tests #317: Commit e3fb81c pushed by wojciechozga
June 19, 2024 13:29 39m 12s attestation
attestation
June 19, 2024 13:29 39m 12s
Added measurements of boot processor state Verification tests #316: Commit c73ddfb pushed by wojciechozga
June 17, 2024 14:54 39m 24s attestation
attestation
June 17, 2024 14:54 39m 24s
Measuring all vm's pages with sha384 during promotion Verification tests #315: Commit cc4816a pushed by wojciechozga
June 13, 2024 15:20 40m 23s attestation
attestation
June 13, 2024 15:20 40m 23s
Support RISC-V Sstc and floating-point unit (FPU) extensions (#66) Verification tests #314: Commit a356032 pushed by wojciechozga
June 12, 2024 08:52 39m 3s main
main
June 12, 2024 08:52 39m 3s
Support RISC-V Sstc and floating-point unit (FPU) extensions (#66) ACE Build #192: Commit a356032 pushed by wojciechozga
June 12, 2024 08:52 48m 50s main
main
June 12, 2024 08:52 48m 50s
Support RISC-V Sstc and floating-point unit (FPU) extensions ACE Build #191: Pull request #66 opened by wojciechozga
June 11, 2024 14:04 54m 41s woz/fpu
woz/fpu
June 11, 2024 14:04 54m 41s
Support RISC-V Sstc and floating-point unit (FPU) extensions Verification tests #313: Pull request #66 opened by wojciechozga
June 11, 2024 14:04 38m 12s woz/fpu
woz/fpu
June 11, 2024 14:04 38m 12s