Skip to content

Add parallel support to RISCOF Sentinel DUT. Also print currently-exe… #166

Add parallel support to RISCOF Sentinel DUT. Also print currently-exe…

Add parallel support to RISCOF Sentinel DUT. Also print currently-exe… #166

Triggered via push January 16, 2025 14:47
Status Success
Total duration 28m 23s
Artifacts

ci.yml

on: push
Minimal Dependencies Check
2m 18s
Minimal Dependencies Check
RISCOF Check
8m 21s
RISCOF Check
RISC-V Formal Check
28m 12s
RISC-V Formal Check
Matrix: Basic CI Check
Fit to window
Zoom out
Zoom in

Annotations

1 error and 4 warnings
Basic CI Check (ubuntu-latest)
Process completed with exit code 1.
Minimal Dependencies Check
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Basic CI Check (ubuntu-latest)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
RISCOF Check
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
RISC-V Formal Check
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636