cargo / discrtree
discrtree 0.64.0
- processes
- 176
- operations
- 18K
- packages
- 61
- compiler runs
- 112
- connections
- 2
- job time
- 3m 31s
Find Lean declarations by shape and lift them into a proof
Build behaviournot recorded for this run
Release 0.64.0 run bf589f65-4d60-45dd-be08-c5c35c071901 · built 2026-10-05
Artifact
- dtbinary · retained · product
- libdiscrtree.rlibfile · retained · product
| Checks | Detections |
|---|---|
| Build behavior | |
| ✓ Network activity | — |
| ✓ Cross-process access | — |
| ✓ Build file changes | — |
| ✓ Build script activity | — |
| ✓ Object file origins | — |
| ✓ Filesystem writes | — |
| ✓ Context collection | — |
| Supply chain | |
| ✓ Known vulnerabilities | — |
| ✓ Dependency advisories | — |
| ✓ Declared and observed dependencies | — |
| Pipeline | |
| ✓ Dependency versions across jobs | — |
| ✓ Pipeline coverage | — |
Detections
0No detections
No abnormal activity detected across 18K flows.
Network
1 peers-
allowedstatic.crates.io:8080
Dependencies
61 packages, 0 with a build script that ran, 0 doing more than compiling| Package | Version | Usage | Build behaviour | |
|---|---|---|---|---|
| anstream | 1.0.0 | linked | ||
| anstyle | 1.0.14 | linked | ||
| anstyle-parse | 1.0.0 | linked | ||
| anstyle-query | 1.1.5 | linked | ||
| anstyle-wincon | 3.0.11 | platform_gated | ||
| bitflags | 2.13.2 | linked | ||
| cc | 1.5.1 | linked | ||
| clap direct | 4.6.7 | linked | ||
| clap_builder | 4.6.7 | linked | ||
| clap_derive | 4.6.7 | linked | ||
| clap_lex | 1.1.1 | linked | ||
| colorchoice | 1.0.5 | linked | ||
| crossbeam-deque | 0.8.8 | linked | ||
| crossbeam-epoch | 0.9.21 | linked | ||
| crossbeam-utils | 0.8.23 | linked | ||
| either | 1.18.0 | linked | ||
| equivalent | 1.0.2 | feature_gated | ||
| fallible-iterator | 0.3.0 | linked | ||
| fallible-streaming-iterator | 0.1.9 | linked | ||
| find-msvc-tools | 0.1.14 | linked | ||
| foldhash | 0.2.0 | linked | ||
| hashbrown | 0.17.1 | linked | ||
| hashlink | 0.12.2 | linked | ||
| heck | 0.5.0 | linked | ||
| indexmap | 2.14.2 | feature_gated | ||
| is_terminal_polyfill | 1.70.2 | linked | ||
| itoa | 1.0.18 | linked | ||
| ld-linux-x86-64.so.2 | linked | |||
| libc.so.6 | linked | |||
| libgcc_s.so.1 | linked | |||
| libm.so.6 | linked | |||
| libmvec.so.1 | linked | |||
| libsqlite3-sys | 0.38.2 | linked | ||
| memchr | 2.8.3 | linked | ||
| once_cell_polyfill | 1.70.2 | platform_gated | ||
| pkg-config | 0.3.34 | linked | ||
| proc-macro2 | 1.0.107 | linked | ||
| quote | 1.0.47 | linked | ||
| rayon direct | 1.12.0 | linked | ||
| rayon-core | 1.13.0 | linked | ||
| rusqlite direct | 0.40.2 | linked | ||
| serde direct | 1.0.229 | linked | ||
| serde_core | 1.0.229 | linked | ||
| serde_derive | 1.0.229 | linked | ||
| serde_json direct | 1.0.151 | linked | ||
| serde_spanned | 1.1.1 | linked | ||
| shlex | 2.0.1 | linked | ||
| smallvec | 1.16.2 | linked | ||
| strsim | 0.11.1 | linked | ||
| syn | 3.0.6 | linked | ||
| toml direct | 1.1.6+spec-1.1.0 | linked | ||
| toml_datetime | 1.1.1+spec-1.1.0 | linked | ||
| toml_parser | 1.1.3+spec-1.1.0 | linked | ||
| toml_writer | 1.1.2+spec-1.1.0 | linked | ||
| unicode-ident | 1.0.26 | linked | ||
| utf8parse | 0.2.2 | linked | ||
| vcpkg | 0.2.15 | linked | ||
| windows-link | 0.2.1 | platform_gated | ||
| windows-sys | 0.61.2 | platform_gated | ||
| winnow | 1.0.4 | linked | ||
| zmij | 1.0.23 | linked |
1 of 1 jobs captured: build-test success · Generated 2026-10-05 · tarp 0.1.0+20261005230310-g8db20f3c46ff · run bf589f65-4d60-45dd-be08-c5c35c071901