o1vm/riscv32im: being strict on scope and unsafe def #1022
Annotations
1 warning
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
Set up job
1s
1s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Checkout repository
18s
18s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Set up NodeJS
0s
0s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Use shared Rust toolchain setting up steps
9s
9s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Apply the Rust smart cacheing
1s
1s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Use shared OCaml setting up steps
36s
36s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Install markdownlint
2s
2s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Install cargo-spec for specifications
1m 9s
1m 9s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Build the kimchi specification
0s
0s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Build the polynomial commitment specification
0s
0s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Check that up-to-date specification is checked in
0s
0s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Build cargo docs
58s
58s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Lint (clippy)
31s
31s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Ensure that everything builds
12m 52s
12m 52s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Install test dependencies
3m 51s
3m 51s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Doc tests
36s
36s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Run non-heavy tests without the code coverage
2m 47s
2m 47s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Run non-heavy tests with the code coverage
0s
0s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Use shared code coverage summary
0s
0s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Use shared Codecov reporting steps
0s
0s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Post Use shared OCaml setting up steps
0s
0s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Post Apply the Rust smart cacheing
17s
17s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Post Set up NodeJS
0s
0s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Post Checkout repository
0s
0s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Complete job
0s
0s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Loading