Skip to content

Add a redpen check to CI. #10

Add a redpen check to CI.

Add a redpen check to CI. #10

Triggered via pull request October 24, 2023 19:18
@jrvanwhyjrvanwhy
synchronize #1
redpen
Status Success
Total duration 39m 59s
Artifacts

ci.yml

on: pull_request
Run tests under Kani
1m 24s
Run tests under Kani
Check Rust formatting
8s
Check Rust formatting
Matrix: build_test
Check README.md
9s
Check README.md
Check MSRVs match
14s
Check MSRVs match
Check crate versions match
7s
Check crate versions match
All checks succeeded
0s
All checks succeeded
Fit to window
Zoom out
Zoom in

Annotations

16 errors
Build & Test (crate:zerocopy, toolchain:msrv, target:i686-unknown-linux-gnu, features:--features __internal_use_only_features_that_work_on_stable)
ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (crate:zerocopy, toolchain:msrv, target:i686-unknown-linux-gnu, features:--features __internal_use_only_features_that_work_on_stable)
Error: ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (crate:zerocopy, toolchain:msrv, target:x86_64-unknown-linux-gnu, features:--features __internal_use_only_features_that_work_on_stable)
ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (crate:zerocopy, toolchain:msrv, target:x86_64-unknown-linux-gnu, features:--features __internal_use_only_features_that_work_on_stable)
Error: ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (crate:zerocopy, toolchain:nightly, target:i686-unknown-linux-gnu, features:--features __internal_use_only_features_that_work_on_stable)
ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (crate:zerocopy, toolchain:nightly, target:i686-unknown-linux-gnu, features:--features __internal_use_only_features_that_work_on_stable)
Error: ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (crate:zerocopy, toolchain:nightly, target:i686-unknown-linux-gnu, features:--all-features)
ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (crate:zerocopy, toolchain:nightly, target:i686-unknown-linux-gnu, features:--all-features)
Error: ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (crate:zerocopy, toolchain:stable, target:i686-unknown-linux-gnu, features:--features __internal_use_only_features_that_work_on_stable)
ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (crate:zerocopy, toolchain:stable, target:i686-unknown-linux-gnu, features:--features __internal_use_only_features_that_work_on_stable)
Error: ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (crate:zerocopy, toolchain:stable, target:x86_64-unknown-linux-gnu, features:--features __internal_use_only_features_that_work_on_stable)
ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (crate:zerocopy, toolchain:stable, target:x86_64-unknown-linux-gnu, features:--features __internal_use_only_features_that_work_on_stable)
Error: ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (crate:zerocopy, toolchain:nightly, target:x86_64-unknown-linux-gnu, features:--all-features)
ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (crate:zerocopy, toolchain:nightly, target:x86_64-unknown-linux-gnu, features:--all-features)
Error: ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (crate:zerocopy, toolchain:nightly, target:x86_64-unknown-linux-gnu, features:--features __internal_use_only_features_that_work_on_stable)
ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (crate:zerocopy, toolchain:nightly, target:x86_64-unknown-linux-gnu, features:--features __internal_use_only_features_that_work_on_stable)
Error: ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'