Skip to content
Rust

Remove the raw feature and make RawTable private #800

Sign in to view logs

Remove the raw feature and make RawTable private

Remove the raw feature and make RawTable private #800

Triggered via pull request August 22, 2024 23:05
@AmanieuAmanieu
opened #546
Amanieu:remove-raw
Status Failure
Total duration 46s
Artifacts –

rust.yml

on: pull_request
miri
34s
miri
rustfmt_clippy
18s
rustfmt_clippy
basics
0s
basics
Matrix: test
bors build finished
0s
bors build finished
bors build finished
0s
bors build finished
Fit to window
Zoom out
Zoom in

Annotations

2 errors and 2 warnings
rustfmt_clippy
Process completed with exit code 101.
miri
Process completed with exit code 101.
rustfmt_clippy
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
miri
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/