Skip to content

Add at-least-as-strict-as bounds to Ptr invariant system (#798) #2262

Add at-least-as-strict-as bounds to Ptr invariant system (#798)

Add at-least-as-strict-as bounds to Ptr invariant system (#798) #2262

Triggered via push January 20, 2024 23:42
Status Success
Total duration 5m 50s
Artifacts

ci.yml

on: push
Generate cache
1m 4s
Run tests under Kani
1m 27s
Check Rust formatting
4s
Check all-jobs-succeeded depends on all jobs
30s
Matrix: build_test
Check README.md
8s
Check MSRVs match
11s
Check crate versions match
8s
All checks succeeded
0s

Annotations

2 errors
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'