cargo / cordis-verus / 0.2.0
Artifact
- libcordis.rlibfile · retained · product
Checks
14 of 14 clearBuild behavior✓✓✓✓✓✓✓✓
Supply chain✓✓✓✓✓
Pipeline✓
Detections
0No detections
No abnormal activity detected across 21K flows.
Network
1 peers- static.crates.io:8080 ecosystem
| Dependencies60 | Build behaviour |
|---|---|
| atomicwrites0.4.4 | |
| bitflags2.13.2 | |
| cfg-if1.0.5 | |
| convert_case0.4.0 | |
| cordis-driver0.2.0 | |
| cordis-kernel0.2.0 | |
| equivalent1.0.2 | |
| errno0.3.14 | |
| fastrand2.5.0 | |
| getrandom0.4.3 | |
| hashbrown0.17.1 | |
| indexmap2.14.2 | |
| itoa1.0.17 | |
| ld-linux-x86-64.so.2 | |
| libc0.2.190 | |
| libc.so.6 | |
| libgcc_s.so.1 | |
| libm.so.6 | |
| libmvec.so.1 | |
| linux-raw-sys0.12.1 | |
| linux-raw-sys0.4.15 | |
| memchr2.8.1 | |
| once_cell1.21.4 | |
| pin-project-lite0.2.17 | |
| proc-macro21.0.107 | |
| quote1.0.47 | |
| r-efi6.0.0 | |
| rustix0.38.44 | |
| rustix1.1.5 | |
| serde1.0.228 | |
| serde_core1.0.228 | |
| serde_derive1.0.228 | |
| serde_json1.0.149 | |
| syn2.0.119 | |
| syn3.0.6 | |
| synstructure0.13.2 | |
| tempfile3.27.0 | |
| tokio1.53.1 | |
| tokio-macros2.7.2 | |
| unicode-ident1.0.26 | |
| verus_builtin0.0.0-2026-09-16-0054 | |
| verus_builtin_macros0.0.0-2026-09-20-0158 | |
| verus_prettyplease0.0.0-2026-09-06-0133 | |
| verus_state_machines_macros0.0.0-2026-09-06-0133 | |
| verus_syn0.0.0-2026-09-06-0133 | |
| vstd0.0.0-2026-09-20-0158 | |
| windows-link0.2.1 | |
| windows-sys0.52.0 | |
| windows-sys0.59.0 | |
| windows-sys0.61.2 | |
| windows-targets0.52.6 | |
| windows_aarch64_gnullvm0.52.6 | |
| windows_aarch64_msvc0.52.6 | |
| windows_i686_gnu0.52.6 | |
| windows_i686_gnullvm0.52.6 | |
| windows_i686_msvc0.52.6 | |
| windows_x86_64_gnu0.52.6 | |
| windows_x86_64_gnullvm0.52.6 | |
| windows_x86_64_msvc0.52.6 | |
| zmij1.0.19 |
1 of 1 jobs captured: build-test success · Generated 2026-10-12 · run afbc343f-0e61-46bd-aca4-d93a84c804f5
analysis 0.1.0 · 2026-10-11 · d6246d3 · graph v2