Skip to content
CI

Write testing docs. Tentatively all docs except docstrings finished [no #141

Sign in to view logs

Write testing docs. Tentatively all docs except docstrings finished [no

Write testing docs. Tentatively all docs except docstrings finished [no #141

Triggered via push December 9, 2024 20:51
@cr1901cr1901
pushed 8f6a2c5
docs
Status Success
Total duration 37m 15s
Artifacts –

ci.yml

on: push
Minimal Dependencies Check
2m 34s
Minimal Dependencies Check
RISCOF Check
12m 58s
RISCOF Check
RISC-V Formal Check
37m 5s
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